Rezoluční princip v umělé inteligenci a logice

Bc. Silvie MACOSZKOVÁ

Bakalářská práce

Resolution principle in artificial intelligence and logic

Anotace:

Práce pojednává, jak už z názvu vyplývá, o rezolučním principu, který obecně slouží k dokazování splnitelnosti formulí ve výrokové a predikátové logice. V práci je ukázáno využití rezoluční metody v logickém programování ? Prologu, v sémantickém webu a objasnění docela nového pojmu neklauzulární rezoluce. Začátek mé práce je zaměřen na historii umělé inteligence a logiky, následují základní pojmy z výrokové a predikátové logiky, které slouží k lepšímu pochopení samotné rezoluce. Dále je popsán rezoluční princip ve výrokové a predikátové logice. Čtvrtá kapitola je věnována programování v UI a logice, detailněji je popsán nejpoužívanější jazyk UI - Prolog. Poslední kapitoly se věnují dalším způsobům využití rezoluce - tzv. neklauzulární rezoluci a sémantickému webu.

Abstract:

This thesis as result from title treat about resolution principle when generally make for automated reasoning in propositional and predicate logic. In this paper is shown improvement of resolution principle in logic programming ? Prolog next in semantic web and will explanation new title in artificial intelligence (AI) Non-clausal resolution. First chapter is oriented on history AI and logic follow on base terms from propositional and predicate logic which serve to better understending the very essence resolution. Next is described resolution principle in propositional and predicate logic. Fourths chapter talk about programming in AI and logic and at lenght is depict the most used language ? Prolog. The last chapter is about other way explaitation of resolution so-called non-clausal resolution and semantic web.

Klíčová slova

Rezoluční princip, rezoluce, výroková logika, predikátová logika, Lisp, Prolog, neklauzulární rezoluce, sémantický web.

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 16. 4. 2008

Zveřejnit od: 16. 4. 2008

Obhajoba závěrečné práce

• Obhajoba proběhla 19. 5. 2008
• Vedoucí: RNDr. PaedDr. Hashim Habiballa, PhD, Ph.D.

OSTRAVSKÁ UNIVERZITA V OSTRAVĚ

Přírodovědecká fakulta

Bakalářský studijní program / obor:
Informatika / Informatika