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 |
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ů |
[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 |
[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 |