Foundations of Inductive Logic Programming

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: 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
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.