Logo ČVUT
Loading...
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2011/2012

Jazyky pro umělou inteligenci

Předmět není vypsán Nerozvrhuje se
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:

https://service.felk.cvut.cz/courses/36JUI

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ů:
Platnost dat k 9. 7. 2012
Aktualizace výše uvedených informací naleznete na adrese http://bilakniha.cvut.cz/cs/predmet11018004.html