FI:IV043 ILP - Informace o předmětu

IV043 Induktivní logické programování

Fakulta informatiky
podzim 2002

Rozsah

2/1. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

Garance

Rozvrh

Út 12:00–13:50 B011

Předpoklady

! I043 ILP
Znalost jazyka Prolog je výhodou.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

Cíle předmětu

Bude podán přehled metod a systémů strojového učení v logice 1. řádu. Důraz je kladen na aplikace těchto metod. Součástí předmětu je projekt.

Osnova

Úvod do logického programování. Programovací jazyk Prolog.
Úvod do induktivního učení: Operátory generalizace a specializace. Klasifikační a deskriptivní úlohy. Rozhodovací stromy, TDIDT, AQ, C4.5. Učení z instancí, Timbl. Bayesovské metody. Učení bez učitele. Hledání častych vzorů, algoritmus Apriori.
Induktivní odvozování v predikátové logice 1. řádu: induktivní logické programování(ILP), základní úloha ILP.
Top-down ILP: refinement operátory a stromy. Programy MIS a Markus.
Interaktivní ILP: Pojem dotazu a orákula, jejich typy. WiM
Empirické metody. Programy Aleph a Tilde.
Učení bez učitele v predikátové logice 1. řádu
Složitost algoritmILP: PAC-learnability, PAC-learnable třídy
Relační data mining, časté datalogovské dotazy. Aplikace ILP.
Projekty: 1. Zpracování přirozeného jazyka. 2. Vyhledávání znalostí. 3. Automatické logické programování. 4. Teorie ILP.

Literatura

NIENHUYS-CHENG, Shan-Hwei a Ronald de WOLF. Foundations of inductive logic programming. Berlin: Springer, 1997, xvii, 404. ISBN 3540629270. info
SHAPIRO, Ehud Y. Algorithmic program debugging. Cambridge: MIT Press, 1983, xiv, 232. ISBN 0262192187. info

Metody hodnocení

Nutnou podmínkou absolvování kursu je projekt.

Informace učitele

http://www.fi.muni.cz/usr/popelinsky/ilp.html

Další komentáře

Předmět je vyučován každoročně.