XD33PUI | Programování pro umělou inteligenci | Rozsah výuky: | 14+6 | ||
---|---|---|---|---|---|
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ů.
Předmět je zahrnut do těchto studijních plánů:
|
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) |