Přehled studia | Přehled oborů | Všechny skupiny předmětů | Všechny předměty | Seznam rolí | Vysvětlivky               Návod
X33PUI Programování pro umělou inteligenci Rozsah výuky:2+2
Přednášející (garant):Pěchouček M., Štěpánková O. Typ předmětu:S Zakončení:Z,ZK
Zodpovědná katedra:333 Kreditů:4 Semestr:L

Anotace:
Úvod do alternativních programovacích jazyků vhodných pro návrh technik umělé inteligence. Logické programování v jazyce Prolog a krátký úvod do logického programováni s omezujícími podmínkami. Symbolické a funkcionální programování v jazyce Lisp a objektově orientované symbolické programování. Základy pravidlového programováni v prostředí JESS a krátký úvod do programování multi-agentních systémů.

Osnovy přednášek:
1. Požadavky na programovací prostředky v UI. Principy deklarativních programovacích jazyků
2. Principy logického programování. Základy jazyka Prolog a jeho zpracování dotazů
3. Prolog: Manipulace se seznamy a čísly. Rekurze
4. Prolog: Mimologické predikáty (not, set-of) a jejich použití (např. při prohledávání grafu)
5. Principy logického programování s omezujícími podmínkami (CLP)
6. Programování v jazyce Eclipse, řešeni klasických úloh rozvrhování
7. Principy a použití funkcionálního programování
8. Lisp: Zaklady jazyka Lisp, atomy a seznamy, definice funkcí
9. Lisp: Iterativni konstrukty, lambda kalkulus, implementace paralelního prohledávání stavového prostoru
10. CLOS - Objektově-orientované programování v jazyce Common Lisp
11. Principy pravidlového programování (rule-based programming)
12. Syntax a použití jazyka Jess (Java Expert System Shell)
13. Návrh znalostní báze expertního systému
14. Programovací prostředky pro DAI

Osnovy cvičení:
1. Úvod, organizace cvičení. Deklarativní programování v Prologu
2. Fakta, pravidla, dotazy. Seznam a základní operace s ním
3. Negace v Prologu. Řešení úloh v Prologu
4. Úloha 1 - programování v Prologu
5. Úloha 1 - programování v Prologu
6. Demonstrace práce se CLP systém Eclipse
7. Funkcionální programování v Lispu
8. Paralelní prohledávání stavového prostoru v Lispu
9. Úloha 2 - programování v Lispu
10. Úloha 2 - programování v Lispu
11. CLOS (Common Lisp Object System)
12. Praktické cvičení rule based programming in Jess
13. Úloha 1, 2 - presentace a porovnání výsledků
14. Udělení zápočtů

Literatura Č:
[1] Jirků, P., Štěpánek, P., Štěpánková, O.: Programování v jazyku Prolog. Praha, SNTL, 1991
[2] Mařík, V., Štěpánková, O., Lažanský, J.: Umělá inteligence 1, 2, 3. Praha, Academia
[3] Graham, P.: Ansi Common Lisp. New Jersey, Prentice-Hall, 1996
[4] Giarantano, J., Riley, G.: Expert Systems - Principles and Programming. Boston, PWS Publishing Company, 1994

Literatura A:
[1] Graham, P.: Ansi Common Lisp. New Jersey, Prentice-Hall, 1996
[2] Giarantano, J., Riley, G.: Expert Systems - Principles and Programming. Boston, PWS Publishing Company, 1994
[3] Clocksin, W. F., Melish, C. S.: Programming in Prolog. Berlin-Heidelberg-New York, Springer Verlag, 1994

Požadavky:
Pro udělení zápočtu se požaduje účast na cvičeních, splnění úlohy 1 a úlohy 2 a presentace výsledků.

Rozsah výuky v kombinované formě studia: 14+6
Typ cvičení: s, c, p
Předmět je nabízen také v anglické verzi.

Předmět je zahrnut do těchto studijních plánů:
Plán Obor Role Dop. semestr
BKM Kybernetika a měření S 4


Stránka vytvořena 25. 2. 2002, semestry: Z/2001-2, Z/2002-3, L/2001-2, L/2002-3, připomínky k informační náplni zasílejte správci studijních plánů Návrh a realizace: I. Halaška (K336), J. Novák (K336)