Přehled studia | Přehled oborů | Všechny skupiny předmětů | Všechny předměty | Seznam rolí | Vysvětlivky               Návod
33UI1 Umělá inteligence 1 Rozsah výuky:2+2
Přednášející (garant):Štěpánková O. Typ předmětu:S Zakončení:Z,ZK
Zodpovědná katedra:333 Kreditů:4 Semestr:Z

Anotace:
Cílem přednášky je zvládnout principy deklarativního programování v jazyce Prolog a seznámit se s některými metodami UI významnými pro aplikace. Postupy jazyka Prolog budou demonstrovány při řešení některých charakteristických úloh UI (prohledávání stav. prostoru, konstrukce jednoduchého ES). Pozornost bude věnována zpracování a porozumění psaného textu v přirozeném jazyce a metodám realizace přirozeného úsudku. Závěr přednášky poskytne přehled metod induktivního strojového učení včetně ILP (generujícího hypotézy ve tvaru logických programů) a upozorní na podmínky pro jejich použití (PAC učení).

Osnovy přednášek:
1. Programovací prostředky pro UI a jejich základní vlastnosti
2. Principy deklarativních programovacích jazyků. Logické programování a resoluční metoda
3. Základy jazyka Prolog
4. Prohledávání stavového prostoru a Prolog
5. Řešení typických úloh UI v Prologu. Typické aplikace
6. Nové směry v logickém programování. Logické programování s omezujícími podmínkami
7. Možnosti použití přirozeného jazyka v systémech UI
8. Role syntaxe a sémantiky při zpracování přirozeného jazyka
9. Kvalitativní simulace, přirozený úsudek a naivní fyzika
10. Přehled metod induktivního strojového učení
11. PAC - učení
12. Apriorní znalosti a jejich využití v induktivním logickém programování (ILP)
13. Principy ILP systémů, charakteristika používaných učebních příkladů
14. Možnosti použití metod induktivního strojového učení v praxi

Osnovy cvičení:
1. Úvod - aktuálně řešené úlohy v GL
2. Programovací jazyk Prolog a jeho filozofie
3. Fakta, pravidla, dotazy. Seznam a základní operace s ním
4. Negace v Prologu. Řešení úloh v Prologu
5. DCL gramatiky
6. Samostatné řešení úloh v Prologu I 7. Omezující podmínky a logické programování
8. Samostatné řešení úloh v Prologu II
9. Samostatné řešení úloh v Prologu III
10. Odevzdání úloh - referáty
11. Systém pro kvalitativní simulaci - demo
12. Experimenty s ILP systémy, např. FOIL
13. Příprava dat a další experimenty s ILP systémy
14. Závěrečné hodnocení

Literatura Č:
[1] Mařík, V., Štěpánková, O., Lažanský, J.: Umělá inteligence 1, 2. Academia, Praha 1993
[2] Russell, S., Norvig, P.: Artificial Intelligence, A Modern Approach. Prentice Hall Series in AI, Englewood Cliffs, New Jersey 1995
[3] Jirků, P., Štěpánek, P., Štěpánková, O.: Programování v jazyku Prolog. SNTL, Praha 1991

Literatura A:
(1) Russell, S., Norvig, P.: Artificial Intelligence, A Modern Approach. Prentice Hall Series in AI, Englewood Cliffs, New Jersey 1995
(2) Bratko, I.: Prolog Programming for All. Reading, Addison Wesley 1991, 2nd edition

Požadavky:

Rozsah výuky v kombinované formě studia: 14+4
Typ cvičení: s, c, p
Předmět je nabízen také v anglické verzi.

Předmět je zahrnut do těchto studijních plánů:
Plán Obor Role Dop. semestr
*TK Technická kybernetika 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)