Bc. Markéta RAŠÍKOVÁ

Diplomová práce

Klauzulární logika v systémech automatizované dedukce

Clausal logic in automated deduction systems
Anotace:
V této práci je popsána charakteristika klauzulární logiky. Je vysvětleno, jakým způsobem probíhá automatizovaná dedukce, tvorba znalostních bází a jejich následná aplikovatelnost na deduktivní úlohy. Pro automatizovanou dedukci je navržen a implementován systém, jehož funkčnost je ověřena na vybraných úlohách.
Abstract:
This mater thesis describes the characteristics of clausal logic. It explains how automated deduction work, the creation of knowledge bases and their subsequent application to the deductive tasks. For automated deduction is designed and implemented the system, its functionality is verified by selected tasks.
 

Klíčová slova

Klauzulární logika automatizovaná dedukce systém automatizované dedukce
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 27. 6. 2016

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

  • Obhajoba proběhla 23. 8. 2016
  • Vedoucí: RNDr. Martin Kotyrba, Ph.D.

Citační záznam

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

RAŠÍKOVÁ, Markéta. Klauzulární logika v systémech automatizované dedukce. Ostrava, 2016. diplomová práce (Mgr.). OSTRAVSKÁ UNIVERZITA V OSTRAVĚ. Přírodovědecká fakulta

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • 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
https://portal.osu.cz//StagPortletsJSR168/CleanUrl?urlid=prohlizeni-prace-detail&praceIdno=33464 Odkaz na soubor do lokálního úložiště instituce