I043 Inductive Logic Programming

Faculty of Informatics
Autumn 2001
Extent and Intensity
2/1. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), 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
Mon 11:00–17:50 C416
Prerequisites (in Czech)
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
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
  • Inductive inference and logic program synthesis: Recursive program synthesis, schema-based synthesis, SYNAPSE, DIALOGS. Synthesis by analysis of computation trace.
  • Empirical ILP. Progol. Foil.
  • Complexity of ILP algorithms: PAC-learnability, PAC-learnable classes. Other models of learnability.
  • 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
The course is also listed under the following terms Spring 1998, Autumn 1998, Autumn 2000.
  • Enrolment Statistics (recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2001/I043