Klauzulární logika v systémech automatizované dedukce – Bc. Markéta RAŠÍKOVÁ
Bc. Markéta RAŠÍKOVÁ
Master's thesis
Klauzulární logika v systémech automatizované dedukce
Clausal logic in automated deduction systems
Abstract:
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.
Language used: Czech
Date on which the thesis was submitted / produced: 27. 6. 2016
Thesis defence
- Date of defence: 23. 8. 2016
- Supervisor: RNDr. Martin Kotyrba, Ph.D.
Citation record
The right form of listing the thesis as a source quoted
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
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty, autentizovaným studentům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: OSTRAVSKÁ UNIVERZITA V OSTRAVĚ, Přírodovědecká fakultaUniversity of Ostrava
Faculty of ScienceMaster programme / field:
Information Science / Information Systems
Theses on a related topic
-
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á -
Podmíněná logika větvení dotazníku
Michal Vrábel -
Projektová logika a projektový management projektů vzdělávacích mobilit jednotlivců v rámci programu Erasmus+ Mládež
Hana Křížková -
Je nemonotónní logika logikou?
Ivo Pezlar