Jazyky pro umělou inteligenci
Kód | Zakončení | Kredity | Rozsah |
---|---|---|---|
36JUI | Z,ZK | 4 | 2+2s |
- Předmět je náhradou za:
- Jazyky pro umělou inteligenci (X36JUI)
- Přednášející:
- Cvičící:
- Předmět zajišťuje:
- katedra počítačů
- Anotace:
-
Předmět je určen zájemcům o funkcionální a logické programování, jež nachází uplatnění především při řešení úloh v oblasti umělé inteligence (UI). Součástí předmětu je seznámení s programováním v jazycích Lisp a Prolog. V rámci cvičení se zadává k řešení domácí práce z oblasti UI, případně programovacích jazyků a tvorby překladačů. Používají se i objektové prostředky jazyka Common Lisp.
- Požadavky:
- Osnova přednášek:
-
1. Typy jazyků pro UI, Lisp: atomy, symbolické výrazy, definice proměnných a funkcí.
2. Podmínky a predikáty, základní operace se symbolickými výrazy.
3. Racionální agenti, jednoduchá implementace.
4. Standardní funkce, eval-apply-funcall, rekurze - typy a použtí.
5. Definice argumentů, zobecněné proměnné, modifikační funkce.
6. Hledání a jeho implementace, heuristické hledání.
7. Řízení výpočtu, lambda, mapovací funkcionály, struktury.
8. Makra, definice struktur, metody a generické funkce.
9. Vstupní a výstupní operace, řetězy a znaky, pole, rozptýlené tabulky.
10. Programovací styl, hry, alfa-beta procedura, CSP.
11. Prolog, struktura programu a jeho výpočet, typy dat.
12. Deklarativní a procedurální sémantika, seznamy, implementace hledání.
13. Backtracking a řez, standardní predikáty, implementace CSP.
14. Rezerva
- Osnova cvičení:
-
1. Rekurzivní programování, řešení jednoduchých úloh v Pascalu
2. Seznámení s používáním Lispovského systému v počítačové laboratoři
3. Definice jednoduchých funkcí pro práci se seznamy v Lispu
4. Zadání domácí práce
5. Rekurzivní a iterativní řešení úloh, efektivnost rekurze
6. Používání mapovacích funkcionálů a filtrů
7. Používání seznamů vlastností atomů a modifikujících pseudofunkcí
8. Konzultace domácích prací
9. Seznámení s používáním systému Prolog v počítačové laboratoři
10. Jednoduché predikáty, trasování výpočtu
11. Rekurze a práce se seznamy a strukturami v Prologu
12. Používání řezu, backracking, práce s logickou databází
13. Odevzdání a předvedení domácí práce
14. Zápočet
- Cíle studia:
- Studijní materiály:
-
[1] Kolář, J.: Jazyky pro umělou inteligenci. Skripta ČVUT, Praha 1994
[2] Slade, S.: Object-Oriented Common Lisp. Prentice Hall, New Jersey 1998
[3] Bratko, I.: PROLOG Programming for Artificial Intelligence. Reading, Addison-Wesley, Mass. 1990
[4] S. Russell - P. Norvig: Artificial Intelligence: A Modern Approach. Prentice Hall, 2003
[5] Stránky Paula Grahama (http://www.paulgraham.com/index.html)
[6] Seibel, P.: Practical Common Lisp. Apress, 2005, ISBN 1-59059-239-5 (viz http://www.gigamonkeys.com/book/)
- Poznámka:
-
Rozsah výuky v kombinované formě studia: 14+4
Typ cvičení: c
- 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ů: