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.Principy a použití funkcionálního programování

2.Lisp: Zaklady jazyka Lisp, atomy a seznamy, definice funkcí

3.Lisp: Iterativni konstrukty, lambda kalkulus, implementace paralelního prohledávání stavového prostoru

4.CLOS - Objektově-orientované programování v jazyce Common Lisp

5.Požadavky na programovací prostředky v UI. Principy deklarativních programovacích jazyků

6.Principy logického programování. Základy jazyka Prolog a jeho zpracování dotazů

7.Prolog: Manipulace se seznamy a čísly. Rekurze

8.Prolog: Mimologické predikáty (not, set-of) a jejich použití (např. při prohledávání grafu)

9.Principy logického programování s omezujícími podmínkami (CLP)

10.Programování v jazyce Eclipse, řešeni klasických úloh rozvrhování

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ému14.Programovací prostředky pro DAI

Osnova cvičení:

1.Úvod, organizace cvičení. Funkcionální programování v Lispu

2.Paralelní prohledávání stavového prostoru v Lispu

3.Úloha 1 - programování v Lispu

4.Úloha 1 - programování v Lispu

5.CLOS (Common Lisp Object System)

6.Deklarativní programování v Prologu

7.Fakta, pravidla, dotazy. Seznam a základní operace s ním

8.Negace v Prologu. Řešení úloh v Prologu

9.Úloha 2 - programování v Prologu

10.Úloha 2 - programování v Prologu

11.Úloha 1, 2 - presentace a porovnání výsledků

12.Úloha 1, 2 - presentace a porovnání výsledků

13.Praktické cvičení rule based programming in Jess

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 2, 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:

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.

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)