Foundations of Inductive Logic Programming

• Main Authors: Nienhuys-Cheng, Shan-Hwei (Author, http://id.loc.gov/vocabulary/relators/aut), Wolf, Ronald de (http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
• Edition: 1st ed. 1997.
• Series: Lecture Notes in Artificial Intelligence ; 1228
• Subjects: Software engineering.; Artificial intelligence.; Mathematical logic.; Computer programming.; Software Engineering/Programming and Operating Systems.; Artificial Intelligence.; Mathematical Logic and Formal Languages.; Programming Techniques.

Inductive Logic Programming is a young and rapidly growing field combining machine learning and logic programming. This self-contained tutorial is the first theoretical introduction to ILP; it provides the reader with a rigorous and sufficiently broad basis for future research in the area. In the fi...

Table of Contents:

• Propositional logic
• First-order logic
• Normal forms and Herbrand models
• Resolution
• Subsumption theorem and refutation completeness
• Linear and input resolution
• SLD-resolution
• SLDNF-resolution
• What is inductive logic programming?
• The framework for model inference
• Inverse resolution
• Unfolding
• The lattice and cover structure of atoms
• The subsumption order
• The implication order
• Background knowledge
• Refinement operators
• PAC learning
• Further topics.