I043 Induktivní logické programování
Fakulta informatikypodzim 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
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: doc. RNDr. Lubomír Popelínský, Ph.D. - 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
- Informatika (program FI, B-IN)
- Informatika (program FI, M-IN)
- Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
- Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
- Výpočetní technika (program FI, B-IN)
- 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
- 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.
- Statistika zápisu (podzim 2000, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/podzim2000/I043