X36JUI | 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í, která nacházejí uplatnění především při řešení úloh v oblasti umělé inteligence (UI). Těžištěm předmětu je seznámení s programováním v jazyce Lisp a v základních rysech s jazykem Prolog. Výklad jazyka Lisp se věnuje vedle operací s klasickými seznamovými strukturami také operacím s poli a rozptýlenými tabulkami a používání objektových prostředků jazyka Common Lisp.
Osnovy přednášek:
1. | Jazyky používané v UI, funkcionální programování, rekurzivní styl programování | |
2. | Základní typy dat a funkce Lispu | |
3. | Seznamy a stromy, typové predikáty, zobecněné proměnné | |
4. | Rekurze a iterace v Lispu, lokální a globální reference | |
5. | Znaky a řetězy, programování vstupu a výstupu | |
6. | Lambda-výraz, mapovací funkcionály, řídicí struktury | |
7. | Makra, struktury | |
8. | Třídy, objekty | |
9. | Vektory, pole | |
10. | Logické programování, syntaxe dat a programu v Prologu | |
11. | Predikáty, klauzule, fakta, cíle, postup splňování cílů, řez | |
12. | Aritmetické predikáty, operace se seznamy, zpracování termů | |
13. | Meta-logické predikáty, vstup, výstup | |
14. | Programovací styl, práce s prologovskou bází znalostí |
Osnovy cvičení:
1. | Rekurzivní programování, řešení jednoduchých úloh v Pascalu pomocí rekurze | |
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. | Mapovací funkcionály a filtry | |
7. | Seznam vlastností atomů a modifikující pseudofunkce | |
8. | Makra, struktury | |
9. | Objektové programování v Lispu | |
10. | Konzultace domácích prací | |
11. | Seznámení s používáním systému Prolog v počítačové laboratoři 12. Rekurze v Prologu, aritmetické a seznamové predikáty | |
13. | Programování vstupu a výstupu, řízení výpočtu | |
14. | Odevzdání a hodnocení domácích prací, zápočet |
Literatura Č:
1. | Kolář, J.: Jazyky pro umělou inteligenci. Praha: Vydavatelství ČVUT. 1994 | |
2. | Slade, S.: Object-Oriented Common Lisp. New Jersey: Prentice Hall PTR. 1997 | |
3. | Bratko, I.: PROLOG Programming for Artificial Intelligence. Reading, Mass.: Addison-Wesley. 1990 |
Literatura A:
1. | Slade, S.: Object-Oriented Common Lisp. New Jersey: Prentice Hall PTR. 1997 | |
2. | Bratko, I.: PROLOG Programming for Artificial Intelligence. Reading, Mass.: Addison-Wesley. 1990 |
Požadavky:
V rámci cvičení se zadává k řešení domácí práce z oblasti umělé inteligence nebo příbuzných oblastí informatiky. Hodnocení domácí práce spolu s aktivitou na cvičení se započítává do celkového výsledku zkoušky.
|
Předmět je zahrnut do těchto studijních plánů:
|
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) |