Řešení úloh umělé inteligence pomocí deklarativního paradigmatu

Bc. Zuzana ROMBOVÁ

Diplomová práce

Problem solving of artificial intelligence issues by means of declarative paradigm

Anotace:

Diplomová práce popisuje základní charakteristiku výrokové a predikátové logiky, kde jsou vysvětleny nejdůležitější pojmy, jako syntaxe a sémantika, Hornovy klauzule včetně zaměření na deklatarivní paradigma. Dále je popsána gramatika a historie jazyka Prolog a představeny jeho jednotlivé implementace. Práce vychází ze současného stavu logického programování a porovnává programovací paradigmata na logických úlohách. Praktická část obsahuje vybrané logické úlohy řešené v Prologu i Javě a srovnání těchto dvou řešení. Součástí práce i praktických výstupů je implementace rozvrhu hodin, který slouží jako návrh na uplatnění logického programování v praxi.

Abstract:

The thesis explains basic characteristics of propositional and predicate logics, terms such as semantics or syntax are explained, Horn clauses and the introduction to declarative paradigm are described. The grammar and history of Prolog has been described and some of its implementations compared. Thesis is based on current status of logic programming and it compares programming paradigms on logical tasks. Practical part contains logical tasks solved in Prolog and Java and the comparison of the results. One part of the thesis is implementation of timetable that suggests practical application of logic programming.

Klíčová slova

deklarativní paradigma, Einsteinova hádanka, Prolog, Hornova klauzule, SWI Prolog, logika

Jazyk práce: čeština

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

Zveřejnit od: 22. 4. 2013

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

• Vedoucí: doc. RNDr. PaedDr. Hashim Habiballa, PhD, Ph.D.

OSTRAVSKÁ UNIVERZITA V OSTRAVĚ

Přírodovědecká fakulta

Magisterský studijní program / obor:
Informatika / Matematická informatika