Zpět na vyhledávání

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.
 

Keywords

Klauzulární logika automatizovaná dedukce systém automatizované dedukce
 
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

Cite this text
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á fakulta
https://portal.osu.cz//StagPortletsJSR168/CleanUrl?urlid=prohlizeni-prace-detail&praceIdno=33464 Reference to the local database file of the institution