Programování pro umělou inteligenci

Předmět nesmí být zapsán současně s:

Funkcionální a logické programování (A4B33FLP)

Předmět je náhradou za:

Funkcionální a logické programování (A4B33FLP)

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra kybernetiky

Anotace:

Předmět dodá základní znalosti v oblasti programování aplikací umělé inteligence a poskytne úvod do alternativních programovacích jazyků. Symbolické a funkcionální programování bude vyučováno v programovacím

jazyce Scheme a Haskell. Logické programování bude vyučováno v programovacím jazyce Prolog, doplněné o krátký úvod do logického programováni s omezujícími podmínkami.

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. Úvod do problematiky aplikací umělé inteligence, požadavky na programovací prostředky, přehled hlavních programovacích jazyků umělé inteligence.

2. Scheme: Funkcionální programování, základy jazyka Scheme,atomy a seznam, práce se seznamy.

3. Scheme: lambda abstrakce, práce s pokročilými datovými strukturami.

4. Scheme: souvislost mezi klasickou iterací a garantovanou

optimalizací rekurze ve Scheme.

5. Scheme: Reprezentace a prohledávání stavového prostoru.

6. Haskell: základy jazyka.

7. Haskell: další vlastnosti jazyka a srovnání se Scheme.

8. Prolog: Principy deklarativního a logického programování.9. Prolog: Práce se seznamy, rekurze.

10. Prolog: Mimologické predikáty, řezy.

11. Prolog: Reprezentace a prohledávání stavového prostoru v Prologu.

12. Úvod do programování s omezujícími podmínkami, programování v Jazyce Eclipse.

13. Rezerva.

Osnova cvičení:

1. Úvod, organizace cvičení. Funkcionální programování ve Scheme.

2. Prohledávání stavového prostoru ve Scheme.

3. Úloha 1 - programování ve Scheme.

4. Úloha 1 - programování ve Scheme.

5. Úloha 1 - programování ve Scheme.

6. Programování v Haskellu.

7. Deklarativní programování v Prologu.

8. Fakta, pravidla, dotazy. Seznam a základní operace s ním.9. Negace v Prologu. Řešení úloh v Prologu.

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

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

12. Úloha 2 - programování v Prologu výsledků.

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

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

• Inteligentní systémy (povinně volitelný předmět)