Programování pro umělou inteligenci

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra kybernetiky

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

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

Osnova 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

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

Cíle studia:

Studijní materiály:

[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

Poznámka:

Další informace:

Pro tento předmět se rozvrh nepřipravuje

Předmět je součástí následujících studijních plánů:

• Kybernetika a měření- strukturované studium (povinně volitelný předmět)