33ZUI Základy umělé inteligence (LS 2005)
Jedná se o úvodní obecný předmět umožňující studentům pochopit současný stav, cíle a metody
umělé inteligence. Předmět předpokládá základní znalost deklarativního programování. Hlavní důraz je kladen na aplikaci jazyka Prolog, zájemci mohou pracovat i v jazyce Lisp.
přednášky |
cvičení |
studijní materiály |
semestrální práce |
ostatní
- Úvod do umělé inteligence. Definice cílů oboru, jeho historie a
současnost a vztah k příbuzným oborům.
- Prohledávání stavového prostoru. Metody neinformovaného a
informovaného prohledávání.
- Reprezentace znalostí.
- Predikátová logika, rezoluce.
- Expertní systémy.
- Strojove učení. Co je učení, teorie strojového učení, učení jako prohledávání.
- Algoritmy strojového učení (rozhodovaci stromy, CBR, apod.).
- Induktivní logické programování (ILP).
- Plánování a rozvrhování.
- Evoluční algoritmy.
- Multiagentni systémy.
Přednáší:
- Doc. Ing. Lenka Lhotská, CSc.
{lhotska@feld.cvut.cz},
Přednášky ke stažení
Příklad zkouškové písemné práce
- Úvod: Program cvičení,
informační zdroje (literatura, www), bezpečnost práce,
podmínky udělení zápočtu. Jazyk Prolog.
- Prolog v úlohách UI: Využití jazyka Prolog v úlohách umělé inteligence.
- Prolog v úlohách UI: Využití jazyka Prolog v úlohách umělé inteligence.
- Semestrální práce: Samostatná činnost - řešení semestrální úlohy.
- Semestrální práce: Samostatná činnost - řešení semestrální úlohy.
- Referáty: Krátké prezentace řešení semestrálních úloh, odevzdání písemných zpráv.
- Odevzdání semestrálních úloh: Odevzdání semestrálních úloh - demonstrace funkčnosti naprogramovaných systémů.
- Expertní systém FEL-Expert: Expertní systémy, prázdný expertní systém, návrh konkrétní aplikace, práce s neurčitostí.
- Expertní systém FEL-Expert: Řešení úloh.
- Systém Otter: Predikátová logika, dokazování vět pomocí rezoluce.
Otter - systém pro automatické dokazování vět.
- Systém Otter: Řešení úloh.
- Genetické algoritmy: Praktické ukázky.
- Neuronové sítě: Praktické ukázky.
- Udělování zápočtů.
Podmínky udělení zápočtu:
- účast na cvičeních
- odevzdání samostatných úloh v termínech
Semestrální práce:
Cvičící:
- Mařík, V., Štěpánková, O., Lažanský, J. a kol.: Umělá inteligence I., Academia, 1993.
- Mařík, V., Štěpánková, O., Lažanský, J. a kol.: Umělá inteligence II., Academia, 1997.
- Jirků, P. a kol.: Programování v jazyku Prolog, SNTL, 1991.
Pro zájemce dále:
- Mařík, V., Štěpánková, O., Lažanský, J. a kol.: Umělá inteligence III., Academia, 2001.
- Csontó, J.: Umelá inteligencia v príkladoch, ELFA, 1995.
- Polák, J.: PROLOG, Grada, 1992.
- Russel, S.,J., Norvig, P.: Artificial Intelligence, A Modern Approach, Prentice Hall, 1995.
- Luger, G., F., Stubblefield, W., A.: Artificial Intelligence and the Design
of Expert Systems, The Benjamin / Cummings Publ. Comp., 1989.
- Bratko, I.: PROLOG Programming for Artificial Intelligence, Addison-Wesley, 3rd Edition, 2001.
- Flach, P.: Simply Logical, John Wiley, 1994
Ostatní:
Poslední úprava: 1.3.2005