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

dc.contributor.advisorKádek, Tamás
dc.contributor.authorRémiás, Dávid
dc.contributor.departmentDE--Informatikai Kar
dc.date.accessioned2024-06-23T19:10:27Z
dc.date.available2024-06-23T19:10:27Z
dc.date.created2024-04-30
dc.description.abstractDiplomamunká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.
dc.description.courseProgramtervező informatikus
dc.description.degreeMSc/MA
dc.format.extent56
dc.identifier.urihttps://hdl.handle.net/2437/374663
dc.language.isohu
dc.rights.accessHozzáférhető a 2022 decemberi felsőoktatási törvénymódosítás értelmében.
dc.subjectDescription Logic
dc.subjectAL language
dc.subjectSHIQ language
dc.subjectConsequence verification
dc.subjectLogikai következtetés
dc.subject.dspaceInformatika::Számítógéptudomány
dc.titleKövetkeztetések szoftveres ellenőrzése leíró logikákon
Fájlok
Eredeti köteg (ORIGINAL bundle)
Megjelenítve 1 - 1 (Összesen 1)
Nincs kép
Név:
szakdolgozat.pdf
Méret:
1.63 MB
Formátum:
Adobe Portable Document Format
Leírás:
szakdolgozat
Engedélyek köteg
Megjelenítve 1 - 1 (Összesen 1)
Nincs kép
Név:
license.txt
Méret:
2.35 KB
Formátum:
Item-specific license agreed upon to submission
Leírás: