3D vizualizace modelů v PL1

Vladimír Matějičný

Bakalářská práce

3D Vizualization of PL1 Models

Anotace:

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 nedostatekkvalitní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, abychomse oprostili od závislosti na konkrétním programovacím jazyce.

Abstract:

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.

Keywords

PL1, predikátová logika prvního řádu, Tarskis World, sémantika, formule, interpretační struktura, proměnná, predikát, konstanta, funkční symbol, universum diskursu, individuum, pravdivost v interpretaci, valuace, model formule, průvodce interpretací, generátor formulí, first-order logic, semantics, formula, interpretation structure, variable, predicate, constant, function symbol, universum, entity, validity, formula model, interpretation advisor, formula generator

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 2010

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

• Vedoucí: Martina Číhalová
• Oponent: Marie Duží

Vysoká škola báňská - Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Bakalářský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika