IV043 Inductive Logic Programming

Faculty of Informatics
Autumn 2002
Extent and Intensity
2/1. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).
Teacher(s)
doc. RNDr. Lubomír Popelínský, Ph.D. (lecturer)
Mgr. Miloslav Nepil, Ph.D. (seminar tutor)
Guaranteed by
prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: doc. RNDr. Lubomír Popelínský, Ph.D.
Timetable
Tue 12:00–13:50 B011
Prerequisites (in Czech)
! I043 ILP
Znalost jazyka Prolog je výhodou.
Course Enrolment Limitations
The course is also offered to the students of the fields other than those the course is directly associated with.
fields of study / plans the course is directly associated with
Course objectives (in Czech)
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.
Syllabus
  • This course brings together the most important disocveries of inductive inference methods in the first order logic. As a part of that it is a project. Experience with Prolog is assumed.
  • Theory of inductive inference: identification in limit, identification by enumeration, other models of learning.
  • Introduction to inductive learning: operators of generalization and of specialization. Basic algorithms.
  • Inductive inference in the first order logic: inductive logic programmin(ILP), basic task of ILP.
  • Top-down ILP: refinement operators and refinement trees. MIS
  • Interactive ILP: Queries and oracles, their types. WiM
  • Empirical ILP. Aleph. Tilde.
  • Complexity of ILP algorithms: PAC-learnability, PAC-learnable classes. Other models of learnability.
  • Rlational data mining, frequent patterns.
  • Applications of ILP.
  • Projects.
Literature
  • NIENHUYS-CHENG, Shan-Hwei and 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
Assessment methods (in Czech)
Nutnou podmínkou absolvování kursu je projekt.
Language of instruction
Czech
Further Comments
The course is taught annually.
Teacher's information
http://www.fi.muni.cz/usr/popelinsky/ilp.html
  • Enrolment Statistics (recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2002/IV043