XD33UI1 | Umělá inteligence 1 | Rozsah výuky: | 14+4 | ||
---|---|---|---|---|---|
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:
Předmět je zahrnut do těchto studijních plánů:
|
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) |