Temat pracy dyplomowej magisterskiej Temat pracy w jęz - Wydział ...

Temat projektu/pracy
dyplomowej
magisterskiej
System wnioskowania hybrydowego z wykorzystaniem CLP
(„CartoHybriS”)
Opiekun pracy dr inż. Wojciech Waloszek
Konsultant pracy
Cel pracy W ramach prac naukowych prowadzonych na Wydziale opracowano
metodę wnioskowania z ontologii opartych na logice opisowej zwaną
reprezentacją kartograficzną. Celem niniejszej pracy magisterskiej
jest wykorzystanie tej metody do konwersji ontologii na zestaw reguł
Constraint Logic Programming oraz zbadanie efektywności
wnioskowania w takim rozwiązaniu oraz możliwości rozszerzenia go
o obsługę dowolnych reguł.
Zadania do wykonania 1. Rozwinięcie i teoretyczna analiza metody konwersji ontologii na
program CLP.
2. Implementacja konwertera.
3. Utworzenie planu eksperymentów
4. Implementacja środowiska testowego i przeprowadzenie
eksperymentów.
5. Opracowanie wyników eksperymentów.
Literatura Jaffar J., Maher M. J.: „Constraint Logic Programming: A Survey”
Frühwirth et al.: „Constraint logic programming - an informal
introduction”
Brachman R., Levesque H.: „Knowledge Representation and
Reasoning”
Aït-Kaci H.: „Data models as Constraint Systems: A Key to Semantic
Web”
Waloszek W.: „Metody strukturalnej analizy ontologii opartych na
logice opisowej”
Dokumentacja systemu ECLiPse.
Liczba wykonawców 1 lub 2
Uwagi Praca ma charakter naukowy. Preferowana technologia wykonania
komponentów to Java.