en | de

Induktive Logische Programmierung

Bachelorstudium

VU3  WS 2019/2020  703130

Description

The lecture introduces the concepts of inductive logic programming. First we will study the programming paradigma of logic programming and relate it to known programming paradigms as for example object-oriented programming and functional programming. Here we will also provide a lightweight introduction to logic so that the course doesn't require any prerequisites.

Second we will cover advanced features in logic programming, such that techniques of pure Prolog are studied, as well as more advanced concepts like definite clause grammars or constraint logic programming.

Third, we will study inductive logic programming and the connection of logic programming to machine learning and program synthesis

Literature

Leon Sterling and Ehud Shapiro
The Art of Prolog (second edition)
MIT Press, 1994, ISBN 0-262-19338-8

Frühwirth, Thom
Essentials of Constraint Programming
Springer; Auflage: 2003 (27. Februar 2003), ISBN-13: 978-3540676232

to be completed

Source Code