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

I043 Induktivní logické programování

Fakulta informatiky
podzim 2000

Rozsah

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

Vyučující

doc. RNDr. Lubomír Popelínský, Ph.D. (přednášející)

Garance

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

Kurs přináší nejdůležitější poznatky induktivního odvozování v predikátovém počtu 1. řádu.
Úvod do logického programování. Programovací jazyk Prolog.
Teorie induktivního odvozování: identification in limit, identification by enumeration, jiné modely učení.
Úvod do induktivního učení: operátory generalizace a specializace. Základní algoritmy.
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. MIS
Interaktivní ILP: Pojem dotazu a orákula, jejich typy. WiM
Induktivní odvozování a syntéza rekurzívních programů: schématem řízená syntéza, SYNAPSE, DIALOGS. metody založené na analýze stopy výpočtu.
Empirické metody. Progol. Foil.
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ě.
Výuka probíhá každý týden.

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