A 3TAP tételbizonyító ismertetése

A tétel rövid nézete
dc.contributor.advisorVárterész, Magda
dc.contributor.authorMárai, Pál
dc.contributor.departmentDE--TEK--Informatikai Karen
dc.date.accessioned2007-02-19T09:27:45Z
dc.date.available2007-02-19T09:27:45Z
dc.date.created2003
dc.date.issued2007-02-19T09:27:45Z
dc.description.abstractA tételbizonyítók (theorem provers, avagy automatikus következtetők) két dologban különböznek a logikai programozási nyelvektől (logic programming languages). Először is, a logikai programozási nyelvek többsége csak Horn-klózokat képes kezelni, míg a tételbizonyítók a teljes elsőrendű logikát elfogadják. Másrészt, a Prolog programok összefogják a logikát és a vezérlést. A programozó azon választása, hogy A ( B;C helyett A ( C;B kifejezést ír, befolyásolja a program végrehajtását. Tételbizonyítók esetében a felhasználó ezek bármelyikét leírhatja, vagy egy másik formát, mint a :B ( C; :A és az eredmény mindig pontosan ugyanaz lesz. A tételbizonyítóknak is szükségük van vezérlési információra a hatékony működés érdekében, de ez az információ a tudásbázistól elkülönítve tárolódik, és nem a tudásreprezentáció része. A tételbizonyítók területén végzett kutatás jelentős része az általánosan használható vezérlési stratégiák megtalálására koncentrál.en
dc.description.degreeBaen
dc.format.extent59en
dc.format.extent303949 bytes
dc.format.mimetypeapplication/pdf
dc.identifier.urihttp://hdl.handle.net/2437/1161
dc.language.isohuen
dc.rights.accessipen
dc.subjectmesterséges intelligenciaen
dc.subjectautomatikus tételbizonyításen
dc.subjectelsőrendű logikaen
dc.subjecttalókalkulusen
dc.subjectanalitikus tablóen
dc.subject.dspaceDEENK Témalista::Matematikaen
dc.subject.dspaceDEENK Témalista::Informatika::Informatikai rendszereken
dc.titleA 3TAP tételbizonyító ismertetéseen
Fájlok
Eredeti köteg (ORIGINAL bundle)
Megjelenítve 1 - 1 (Összesen 1)
Nincs kép
Név:
szakdolgozat_304.pdf
Méret:
296.83 KB
Formátum:
Adobe Portable Document Format
Leírás:
Szakdolgozat
Megjelenítés
Engedélyek köteg
Megjelenítve 1 - 1 (Összesen 1)
Nincs kép
Név:
license.txt
Méret:
2.45 KB
Formátum:
Item-specific license agreed upon to submission
Leírás:
Letöltés
Gyűjtemények
Hallgatói dolgozatok (Informatikai Kar)