I043 Induktivní logické programování

Fakulta informatiky
léto 1998
Rozsah
0/2. 2 kr. Doporučované ukončení: k. Jiná možná ukončení: z.
Vyučující
doc. RNDr. Lubomír Popelínský, Ph.D. (přednášející)
Garance
Kontaktní osoba: doc. RNDr. Lubomír Popelínský, Ph.D.
Předpoklady
Předpokládá se znalost jazyka Prolog.
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. Podmínkou absolvování kursu je projekt.
  • 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, Gencon.
  • Top-down ILP: refinement operátory a stromy. MIS
  • Interaktivní ILP: Pojem dotazu a orakula, 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. GOLEM, FOIL. Progol.
  • Složitost algoritmů ILP: PAC-learnability, PAC-learnable třídy
  • Aplikace ILP. Induktivní odvozování a databáze.
Informace učitele
I043 Induktivní logické programování ZS 0/2 k
Předmět je zařazen také v obdobích podzim 1998, podzim 2000, podzim 2001.