Přehled studia | Přehled oborů | Všechny skupiny předmětů | Všechny předměty | Seznam rolí | Vysvětlivky               Návod
36JUI Jazyky pro umělou inteligenci Rozsah výuky:2+2
Přednášející (garant):Kolář J. Typ předmětu:S Zakončení:Z,ZK
Zodpovědná katedra:336 Kreditů:4 Semestr:Z

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 (Franz Allegro).

Osnovy přednášek:
1. Jazyky používané v UI, funkcionální programování, rekurzivní funkce
2. Imperativní a funkcionální notace, zákl.typy dat a funkce Lispu
3. Definice funkcí, volné a vázané proměnné, predikáty, forma COND
4. Rekurze a iterace v Lispu, koncová rekurze, efektivnost
5. Seznamové a číselné funkce, funkcionály, filtry, lambda-výraz
6. Vnitřní reprezentace, speciální formy, vlastnosti atomů
7. Vstup a výstup, implementace Lispu, ovládání paměti
8. Logické programování, syntaxe dat a programu v Prologu
9. Predikáty, klauzule, fakta, cíle, postup splňování cílů v Prologu
10. Aritmetické predikáty, operátorová notace, zpracování termů
11. Meta-logické predikáty, řez a negace
12. Vstup a výstup, programovací styl, práce s logickou databází
13. Implementace Prologu, srovnání tvorby aplikací v Lispu a Prologu
14. Rezerva

Osnovy 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

Literatura Č:
[1] Kolář, J.: Jazyky pro umělou inteligenci. Skripta ČVUT, Praha 1994
[2] Winston, P.H., Horn, B.K.P.: Lisp. Reading. Addison-Wesley, Mass. 1984
[3] Bratko, I.: PROLOG Programming for Artificial Intelligence. Reading, Addison-Wesley, Mass. 1990

Literatura A:
[1] Winston, P.H., Horn, B.K.P.: Lisp. Reading. Addison-Wesley, Mass. 1984
[2] Bratko, I.: PROLOG Programming for Artificial Intelligence. Reading, Addison-Wesley, Mass. 1990

Požadavky:

Rozsah výuky v kombinované formě studia: 14+4
Typ cvičení: c

Předmět je zahrnut do těchto studijních plánů:
Plán Obor Role Dop. semestr
*VT Výpočetní technika S 9


Stránka vytvořena 25. 2. 2002, semestry: Z/2001-2, Z/2002-3, L/2001-2, L/2002-3, připomínky k informační náplni zasílejte správci studijních plánů Návrh a realizace: I. Halaška (K336), J. Novák (K336)