Řešení úloh umělé inteligence pomocí deklarativního paradigmatu – Bc. Zuzana ROMBOVÁ
Bc. Zuzana ROMBOVÁ
Diplomová práce
Řešení úloh umělé inteligence pomocí deklarativního paradigmatu
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 …víceAbstract:
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 …více
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.
Citační záznam
Jak správně citovat práci
ROMBOVÁ, Zuzana. Řešení úloh umělé inteligence pomocí deklarativního paradigmatu. Ostrava, 2013. diplomová práce (Mgr.). OSTRAVSKÁ UNIVERZITA V OSTRAVĚ. Přírodovědecká fakulta
Plný text práce
Právo: Autor si přeje zpřístupnit práci veřejnosti od 22.4.2013
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- Soubory jsou od 22. 4. 2013 dostupné: autentizovaným zaměstnancům ze stejné školy/fakulty, autentizovaným studentům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: OSTRAVSKÁ UNIVERZITA V OSTRAVĚ, Přírodovědecká fakultaOSTRAVSKÁ UNIVERZITA V OSTRAVĚ
Přírodovědecká fakultaMagisterský studijní program / obor:
Informatika / Matematická informatika
Práce na příbuzné téma
- Žádné práce na příbuzné téma.