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