Bc. Silvie MACOSZKOVÁ

Bakalářská práce

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

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íce
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 …více
 

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.

Citační záznam

Citovat tuto práci
Jak správně citovat práci

MACOSZKOVÁ, Silvie. Rezoluční princip v umělé inteligenci a logice. Ostrava, 2008. bakalářská práce (Bc.). OSTRAVSKÁ UNIVERZITA V OSTRAVĚ. Přírodovědecká fakulta

Plný text práce

Právo: Autor si přeje zpřístupnit práci veřejnosti až od 16. 04. 2008

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • Soubory jsou od 16. 4. 2008 dostupné: autentizovaným zaměstnancům ze stejné školy/fakulty, autentizovaným studentům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: OSTRAVSKÁ UNIVERZITA V OSTRAVĚ, Přírodovědecká fakulta

OSTRAVSKÁ UNIVERZITA V OSTRAVĚ

Přírodovědecká fakulta

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

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.