Klauzulární logika v systémech automatizované dedukce – Bc. Markéta RAŠÍKOVÁ
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.
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
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á fakultaOSTRAVSKÁ UNIVERZITA V OSTRAVĚ
Přírodovědecká fakultaMagisterský studijní program / obor:
Informatika / Informační systémy
Práce na příbuzné téma
-
Automatizovaná dedukce ve výrokové logice
Lukáš BURYAN -
Matematická logika ve výuce na středních školách
Marika Kaňová -
Divácké násilí v ČR: logika fungování systému kontroly kriminality a trestní justice
Vendula Divišová -
Vícedruhová rovnostní logika
Jakub Lédl -
Mezi rukopisy a knihami: logika a dynamika současného českého literárního pole prizmatem knižních nakladatelů
Kateřina Kirkosová -
Projektová logika a projektový management projektů vzdělávacích mobilit jednotlivců v rámci programu Erasmus+ Mládež
Hana Křížková -
Podmíněná logika větvení dotazníku
Michal Vrábel -
Epistemická logika a logická vševědoucnost v rámci modální intenzionální logiky
Ivo Pezlar