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

Abstract

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.