Programování pro umělou inteligenci

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é intelegenec a poskytne úvod do alternativních programovacích jazyků. Symbolické a funkcionální programování bude vyučováno v programovacím jazyce jazyku Lisp a objektově orientované symbolické programování v systému CLOS. 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. Základy pravidlového programováni budou přednášeny v prostředí JESS.

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. Lisp: Funkcionální programování, základy jazyka Lisp, atomy a seznam, práce se seznamy

3. Lisp: Funkce s vedlejším efektem, iterativní konstrukty, lambda kalkulus

4. Lisp: Práce s pokročilými datovými strukturami, objekty v Lispu (CLOS)

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

6. Prolog: Principy deklarativního a logického programování, práce s jazykem Lisp

7. Prolog: Práce se seznamy, rekurze

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

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

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

11. Jess: Principy pravidlového programování expertních systémů, úvod do jazyka CLIPS/JESS

12. Jess: Reprezentace znalostí a syntax pravidel v jazyce Jess

13. Jess: Návrh znalostní báze expertního systému

14. Jess: Metody vyvozování v jazyce Jess, RETE algoritmus

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. Úloha 1 - programování v Lispu

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 2 - programování v Prologu výsledků

12. Praktické cvičení pravidlového programování v jazyce Jess

13. Praktické cvičení pravidlového programování v jazyce 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:

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)