Jazyky pro umělou inteligenci

Předmět je náhradou za:

Jazyky pro umělou inteligenci (36JUI)

Přednášející:

Neurčen (gar.), Jan Janoušek

Cvičící:

Neurčen (gar.), Jan Janoušek

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í, 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.

Požadavky:

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

Osnova 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í

Osnova 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

Cíle studia:

Studijní materiály:

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

Poznámka:

Rozsah výuky v kombinované formě studia: 14+4

Typ cvičení: c

Rozvrh na zimní semestr 2011/2012:

Rozvrh není připraven

Rozvrh na letní semestr 2011/2012:

	06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Po
Út	místnost T9:349 Janoušek J. 09:15–10:45 (přednášková par. 1) Dejvice NBFIT místnost
St
Čt
Pá	místnost T9:350 Janoušek J. 11:00–12:30 LICHÝ TÝDEN (přednášková par. 1 paralelka 101) Dejvice NBFIT PC ucebna

Předmět je součástí následujících studijních plánů:

• MVT01-Výpočetní technika - softwarové inženýrství- strukturované studium (povinně volitelný předmět, povinně volitelný předmět, doporučení S2)
• MVT02-Výpočetní technika - systémové programování- strukturované studium (povinně volitelný předmět, povinně volitelný předmět, doporučení S3)
• MVT03-Výpočetní technika - počítačová grafika- strukturované studium (povinně volitelný předmět)
• MVT04-Výpočetní technika - počítačové sítě a internet- strukturované studium (povinně volitelný předmět)
• MVT05-Výpočetní technika - projektování číslicových systémů- strukturované studium (povinně volitelný předmět)
• MVT01-Výpočetní technika - nový - softwarové inženýrství- strukturované studium (povinně volitelný předmět, doporučení S3)
• MVT04-Výpočetní technika - nový - počítačové sítě a internet- strukturované studium (povinně volitelný předmět, doporučení S3)