Přehled studia | Přehled oborů | Všechny skupiny předmětů | Všechny předměty | Seznam rolí | Vysvětlivky               Návod
XD36JUI Jazyky pro umělou inteligenci Rozsah výuky:14+4
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ů:
Plán Obor Role Dop. semestr
MVT02-D Výpočetní technika S 3
MVT04-D Výpočetní technika S 3
MVT01-D Výpočetní technika S 3
MVT03-D Výpočetní technika S 3
MVT05-D Výpočetní technika S 3


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)