Foundations of Inductive Logic Programming

• Κύριοι συγγραφείς: Nienhuys-Cheng, Shan-Hwei (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut), Wolf, Ronald de (http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
• Έκδοση: 1st ed. 1997.
• Σειρά: Lecture Notes in Artificial Intelligence ; 1228
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.