Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:miw:2009:miw09_prolog_sbvr [2009/06/26 16:42] jsi08 |
pl:miw:2009:miw09_prolog_sbvr [2019/06/27 15:50] (aktualna) |
====== 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. |
* 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) ==== |
| |
====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): |
| |
\\ | \\ |
[[https://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. |
===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==== |