Umělá inteligence 1

Předmět je náhradou za:

Umělá inteligence 1 (X33UI1)

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra kybernetiky

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

Podrobné aktualní informace a texty přednášek lze získat na serveru datel.felk.cvut.cz

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

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

Poznámka:

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.

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ů:

• Technická kybernetika-inženýrský blok (povinně volitelný předmět)
• Technická kybernetika-inženýrský blok (povinně volitelný předmět)