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

I043 Induktivní logické programování

Fakulta informatiky
podzim 2001

Rozsah

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

Vyučující

Garance

Rozvrh

Po 11:00–17:50 C416

Předpoklady

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

Osnova

Uvod do logického programování. Programovací jazyk Prolog.
Úvod do induktivního učení: operátory generalizace a specializace.
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. Schématem řízená syntéza. SYNAPSE.
Učení bez učitele v predikátové logice 1. řádu
Složitost algoritmů ILP: PAC-learnability, PAC-learnable třídy
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ě.

Předmět je zařazen také v obdobích léto 1998, podzim 1998, podzim 2000.