Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:2009:miw09_prolog_sbvr [2009/06/26 16:41] jsi08 |
pl:miw:2009:miw09_prolog_sbvr [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | ====== Opis ====== | + | ~~ODT~~ |
| - | Patryk Łuczyński , <tapirat@gmail.com> \\ | + | ====== MIW 2009 Prolog_SBVR ====== |
| - | ==== Prolog_SBVR ==== | + | |
| + | **Zrealizował: [[tapirat@gmail.com|Patryk Łuczyński]] (4RI) | ||
| * Look at the [[http://www.omg.org/spec/SBVR/|SBVR]]. | * Look at the [[http://www.omg.org/spec/SBVR/|SBVR]]. | ||
| * Prepare a concise desc/present. | * Prepare a concise desc/present. | ||
| Linia 8: | Linia 10: | ||
| * provide simple analysis of the SBVR knowledge base on top of the parser | * provide simple analysis of the SBVR knowledge base on top of the parser | ||
| - | ====== Spotkania ====== | ||
| - | Dodano rozdział "Specyfikacja SBVR pod kątem parsowania reguł" oraz poprawiono problemy z dostępem do kodu z rozdziału "Parser" | ||
| - | ===== 20090430 ==== | + | ====== Spotkania ====== |
| - | * kolorowanie | + | [[pl:miw:2009:miw09_prolog_sbvr:spotkania|Spotkania]] |
| - | ===== 20090416 ==== | ||
| - | * rozczytac spec sbvr do poz. parsowania poj. przykładu | ||
| - | ===== 200903126 ==== | + | ====== Sprawozdanie ====== |
| - | * rulexpress, opis + sshot | + | |
| - | + | ||
| - | ===== 20090312 ==== | + | |
| - | * czy ktos cos robil do SBVR w prologu? | + | |
| - | + | ||
| - | ===== 20090225 ==== | + | |
| - | * nie pakujemy sie w modal logic | + | |
| - | + | ||
| - | ====== Projekt ====== | + | |
| ===== Opis SBVR ===== | ===== Opis SBVR ===== | ||
| ==== SBVR w architekturze MDA (Model Driven Architecture) ==== | ==== SBVR w architekturze MDA (Model Driven Architecture) ==== | ||
| Linia 80: | Linia 69: | ||
| ====Reguły w SBVR==== | ====Reguły w SBVR==== | ||
| - | Za pomocą termór oraz wyrazów które opisuje się za pomocą czcionki 'verb' jesteśmy w stanie skonstruować koncept czasownikowy (verb concept). Takie konstrukcje pozwalają na opisywanie zależności pomiędzy wcześniej zdefiniowanymi pojęciami. Następnie w celu zdefiniowania reguły należy taki koncept czasownikowy obłożyć jednym z czterech dostępnych operatorów modalnych: | + | Za pomocą termów oraz wyrazów które opisuje się za pomocą czcionki 'verb' jesteśmy w stanie skonstruować koncept czasownikowy (verb concept). Takie konstrukcje pozwalają na opisywanie zależności pomiędzy wcześniej zdefiniowanymi pojęciami. Następnie w celu zdefiniowania reguły należy taki koncept czasownikowy obłożyć jednym z czterech dostępnych operatorów modalnych: |
| \\ \\ | \\ \\ | ||
| Aletyczne (używane do tworzenia reguł strukturalnych): | Aletyczne (używane do tworzenia reguł strukturalnych): | ||
| Linia 124: | Linia 113: | ||
| \\ | \\ | ||
| - | [[http://ai.ia.agh.edu.pl/wiki/:pl:miw:2009:miw09_prolog_sbvr:pliki:parser.txt|KOD lokalny]] | + | [[https://ai.ia.agh.edu.pl/wiki/_media/pl:miw:2009:miw09_prolog_sbvr:pliki:parser.txt|KOD]] |
| - | [[http://student.agh.edu.pl/~tapir/MIW/parse.txt|KOD]] | + | |
| \\ | \\ | ||
| Powyższy kod był testowany na implementacji SWI Prolog (Windows). Realizuje on (oczywiście w minimalnym zakresie) rozbiór logiczny reguł, który opisany jest w specyfikacji SBVR w rodziale 9 (zwłaszcza 9.2). "Korzeniem" drzewa pokonywanego przy parsowaniu jest dla uproszczenia (zamiast "rule") nieterminal "Logical_formulation". Dla uproszczenia pominięty został rodział 8 "Meaning and Representation Vocabulary", który wprowadza powiązania między termami i faktami. | Powyższy kod był testowany na implementacji SWI Prolog (Windows). Realizuje on (oczywiście w minimalnym zakresie) rozbiór logiczny reguł, który opisany jest w specyfikacji SBVR w rodziale 9 (zwłaszcza 9.2). "Korzeniem" drzewa pokonywanego przy parsowaniu jest dla uproszczenia (zamiast "rule") nieterminal "Logical_formulation". Dla uproszczenia pominięty został rodział 8 "Meaning and Representation Vocabulary", który wprowadza powiązania między termami i faktami. | ||
| Linia 173: | Linia 161: | ||
| ===Kolorowanie napisu na podstawie słownika (Prolog) === | ===Kolorowanie napisu na podstawie słownika (Prolog) === | ||
| - | + | [[https://ai.ia.agh.edu.pl/wiki/_media/pl:miw:2009:miw09_prolog_sbvr:pliki:koloruj.txt|KOD w Prologu]] | |
| \\ \\ | \\ \\ | ||
| + | Powyższy kod był tworzony i sprawdzany za pomocą SWI Prolog (Windows). W celu kolorowania napisu należy skompilować powyższy plik i wprowadzić cel typu: | ||
| + | \\ \\ | ||
| + | go([it,is,obligatory,that,a,rental,has,a,rental,period]). | ||
| + | \\ \\ | ||
| + | Na wyjściu stworzony zostanie plik HTML z odpowiednio stylizowanym napisem wejściowym. UWAGA! Program wypisuje wyjście do pierwszego nierozpoznanego napisu lub przetworzenia całego napisu wejściowego. | ||
| + | \\ \\ | ||
| + | [[http://student.agh.edu.pl/~tapir/MIW/output.html|Przykładowy plik wyjściowy]] | ||
| + | ====== Prezentacja ====== | ||
| + | [[pl:miw:2009:miw09_prolog_sbvr:prezentacja|Prezentacja projektu]] | ||
| - | |||
| - | ====== Sprawozdanie ====== | ||
| - | |||
| - | |||
| - | ====== Prezentacja ====== | ||
| ====== Materiały ====== | ====== Materiały ====== | ||
| ====Linki==== | ====Linki==== | ||
