3D vizualizace modelů v PL1

Abstract

Predikátová logika prvního řádu dnes nachází velké využití v oblasti matematiky, filosofie, lingvistiky a umělé inteligence. Problémem je však nedostatek kvalitního výukového software. Cílem této práce je vytvoření aplikace, schopné přehledně a jednoduše naučit studenty základům predikátové logiky prvního řádu. Začátek práce je věnován popisu sémantiky predikátové logiky prvního řádu a vymezení podmnožiny formulí, kterou se budeme zabývat. Hlavní náplní textu práce je však především popis vytvářené aplikace na konceptuální úrovni. Tedy jednotlivých funkcí, základních algoritmů a návrh nejdůležitějších částí pomocí jazyka UML. Výsledky této práce budou následně využity v projektu CZ.1.07/2.2.00/07.0217, z tohoto jsou všechny algoritmy popsány v pseudokódu, abychom se oprostili od závislosti na konkrétním programovacím jazyce.

First-order logic is now days used in many fields in mathematics, philosophy or artificial intelligence. The problem is that there is not enough quality educational software. The main goal of this thesis is to create an application capable of simply and clearly teaching students basics of first-order logic. The beginning of this paper is dedicated to semantics of first-order logic and defining the subset of formulas which we are going to work with. But the main goal is to describe created application on conceptual level. We will go through main functionality, basic algorithms and design of main parts of the application by means of the UML language. The results of this paper will be used in project CZ.1.07/2.2.00/07.0217. Because of this all of the algorithms are described in pseudocode.