Kádek, TamásRémiás, Dávid2024-06-232024-06-232024-04-30https://hdl.handle.net/2437/374663Diplomamunká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.56huDescription LogicAL languageSHIQ languageConsequence verificationLogikai következtetésInformatika::SzámítógéptudományHozzáférhető a 2022 decemberi felsőoktatási törvénymódosítás értelmében.