Következtetések szoftveres ellenőrzése leíró logikákon

Dátum
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt

Diplomamunkám a különféle leíró logikai nyelvek tárgyalásáról, valamint ezek szoftveres megvalósításáról szól. Kezdve a már ezen leíró logikákat alkalmazó technológiák bemutatásával. Ezt követően a leíró logikák elméleti áttekintése található meg a dolgozatban. Először az általános leírás figyelhető meg, majd kiválasztott nyelvek elméletének tárgyalása. Az elméleti áttekintés után az implementáció a soron következő elem. Ennek megvalósítása során következtetések ellenőrzésére nyílik lehetőségünk, először terminálablakon keresztül kommunikáló következtető szoftver segítségével, később kibővítve ezt egy grafikus felhasználói felülettel. A dolgozatot a szoftver továbbfejlesztési lehetőségeinek feltárása, majd köszönetnyilvánítás zárja.

Leírás
Kulcsszavak
Description Logic, AL language, SHIQ language, Consequence verification, Logikai következtetés
Forrás