Umělá inteligence 1

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra kybernetiky

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

Požadavky:

Osnova 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

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

Cíle studia:

Studijní materiály:

[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

Poznámka:

Další informace:

Pro tento předmět se rozvrh nepřipravuje

Předmět je součástí následujících studijních plánů:

• Kybernetika a měření - umělá inteligence- strukturované studium (povinný předmět)