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í
doc. RNDr. Lubomír Popelínský, Ph.D. (přednášející)
Mgr. Miloslav Nepil, Ph.D. (cvičící)
Garance
prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: doc. RNDr. Lubomír Popelínský, Ph.D.
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ě.

  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/fi/podzim2002/IV043