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

Bc. Zuzana ROMBOVÁ

Master's thesis

Problem solving of artificial intelligence issues by means of declarative paradigm

Abstract:

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.

Keywords

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

Language used: Czech

Date on which the thesis was submitted / produced: 22. 4. 2013

Accessible from:: 22. 4. 2013

Thesis defence

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

University of Ostrava

Faculty of Science

Master programme / field:
Information Science / Mathematical Information Science