Detail předmětu

Jazyky pro umělou inteligenci

FSI-VJU-KAk. rok: 2014/2015

Předmět je věnován následujícím tématům: Principy funkcionálního a logického programování. Jazyk Lisp: základní vlastnosti, datové typy, programové struktury, vyhodnocování symbolických výrazů, funkce a makra. Jazyk Prolog: základní pojmy, datové typy, klauzule, unifikace termů, řízení výpočtu, vestavěné predikáty. Příklady řešení problémů umělé inteligence v Lispu a Prologu.

Jazyk výuky

čeština

Počet kreditů

5

Garant předmětu

RNDr. Jiří Dvořák, CSc.

Zajišťuje ústav

Ústav automatizace a informatiky (ÚAI)

Výsledky učení předmětu

Studenti získají znalost stylů funkcionálního a logického programování a budou schopni aplikovat Lisp a Prolog na řešení problémů umělé inteligence.

Prerekvizity

Matematická logika, základy umělé inteligence a expertních systémů.

Plánované vzdělávací činnosti a výukové metody

Předmět je vyučován formou přednášek, které mají charakter výkladu základních principů a teorie dané disciplíny. Cvičení je zaměřeno na praktické zvládnutí látky probrané na přednáškách.

Způsob a kritéria hodnocení

Požadavky pro zápočet: aktivní účast ve cvičeních, zpracování dvou projektů (v Lispu a v Prologu).
Zkouška: písemný test (příklady a otázky), ústní zkouška.

Učební cíle

Cílem předmětu je seznámit studenty s neimperativními přístupy k řešení problémů a prohloubit jejich znalosti principů metod umělé inteligence.

Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky

Kontrolována je účast ve cvičeních. Zameškaná výuka může být nahrazena vypracováním zadaných úloh.

Základní literatura

Koschmann, T. The Common Lisp Companion. New York, John Wiley & Sons 1990.
Bratko, I. Prolog Programming for Artificial Intelligence. Wokingham, Addison-Wesley 1990.
Luger, G.F. Artificial Intelligence. Structures and strategies for Complex Problem Solving. Harlow, Addison-Wesley 2002.

Doporučení literatura

Kolář, J. Jazyky pro umělou inteligenci. Skripta. Praha, ČVUT 1994.
Molnár, L., Návrat, P. Programovanie v jazyku Lisp. Bratislava, Alfa 1988.
Polák, J. Prolog. Praha, Grada 1992.

Zařazení předmětu ve studijních plánech

  • Program M2I-K magisterský navazující

    obor M-AIŘ , 2 ročník, letní semestr, povinný
    obor M-AIŘ , 2 ročník, letní semestr, povinný

Typ (způsob) výuky

 

Konzultace

17 hod., nepovinná

Vyučující / Lektor

RNDr. Jiří Dvořák, CSc.

Osnova

1. Funkcionální programování. Jazyk Lisp - struktura programu, typy dat.
2. Základní funkce, definice funkcí, mechanismus vyhodnocování.
3. Funkce pro zpracování seznamů a čísel, predikáty, vyhodnocovací funkce.
4. Iterace, mapovací funkcionály, definice a vyhodnocení maker.
5. Modifikace struktur, reprezentace atomů, vstup a výstup, správa paměti.
6. Příklady aplikací jazyka Lisp na řešení problémů umělé inteligence.
7. Logické programování. Jazyk Prolog - struktura programu, datové objekty.
8. Deklarativní a procedurální sémantika programu, zpracování seznamů a čísel.
9. Operátorová notace, typové a meta-logické predikáty, rozklad a vytváření termů.
10. Řez, negace, práce s databází.
11. Vstup a výstup, navracení a predikát repeat.
12. Tvorba expertních systémů v Prologu.
13. Příklady aplikací jazyka Prolog na řešení dalších problémů umělé inteligence.