Tvorba nástroje na editaci a export sémantického tabla pro formální logické systémy

Mgr. Tomáš STUPKA

Bachelor's thesis

Development of tool for editing and export of semantic tableau algorithm in formal logic systems

Anotácia:

Cílem této bakalářské práce je vytvořit nástroj pro zpracování sémantického tabla logické formule s možnostmi exportu do různých grafických formátů a uložení či otevření zpracované formule. Práce je rozdělena do dvou částí, na teoretickou a praktickou část. V teoretické části autor popisuje logické systémy, jejichž formule je nástroj schopen zpracovávat, jimiž jsou predikátová a deskripční logika, dále se autor věnuje popisu zpracování a postupu sémantického tabla, jeho rozdílům a tablovým pravidlům. V praktické části je pak popsán implementovaný algoritmus, jeho příslušné části a funkce a uveden příklad predikátové formule s detailním popisem okna aplikace.

Abstract:

The aim of this bachelor thesis is to create a tool for processing the semantic tableau algorithm with possibility to export results into various graphic formats and to save or load currently worked formula. The work is divided into two parts, theoretical and practical part. In the theoretical part, author focuses on describing logic system tableau can work with. These systems are predicate and description logic. Author describes semantic tableau and its process and differences in different logic systems and tableau rules as well. In the practical part there is described the implemented algorithm, its parts and functions and in the end there is mentioned an example with a detailed application window description.

Kľúčové slová

predikátová logika, sémantické tablo, tablová pravidla, deskripční logika, C#.NET Visual studio 2010, desktopová aplikace

Jazyk práce: Czech

Datum vytvoření / odevzdání či podání práce: 21. 4. 2011

Zverejniť od: 21. 4. 2011

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

• Obhajoba proběhla 30. 5. 2011
• Vedúci: RNDr. Marek Vajgl, Ph.D.

University of Ostrava

Faculty of Science

Bachelor programme / odbor:
Information Science / Information Science