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

Anotace:
Přednáška poskytuje přehled hlavních metod symbolické umělé inteligence, t.j. metod silně využívajících logické reprezentace znalostí. Jsou vysvětleny základy deklarativního programování v jazyce Prolog, které jsou nejprve demonstrovány na příkladech řešení základních úloh UI (prohledávání stav.prostoru, konstrukce jednoduchého ES) i úloh velmi specializovaných (zpracování přirozeného jazyka a problematika přirozeného úsudku). Zvláštní pozornost je věnována logickému programování s omezujícími podmínkami a jeho praktickým inženýrským aplikacím. Závěrem je představeno induktivní logické programování jako perspektivní směr rozvoje strojového 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. Návrh modulu pro komunikaci v přirozeném jazyce. Použití implicitních informací
10. Přirozený úsudek a metody pro jeho realizaci. Naivní fyzika
11. Kvalitativní simulace
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í ILP 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). Praha, Academia, 1993
[2] Russell, S., Norvig, P.: Artificial Intelligence, A Modern Approach, Prentice Hall Series in AI. New Jersey, Englewood Cliffs, 1995
[3] Jirků, P., Štěpánek, P., Štěpánková, O.: Programování v jazyku Prolog, SNTL, 1991

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

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
MKM02 Kybernetika a měření Z 1


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)