+612 9045 4394
Foundations of Inductive Logic Programming : Topics in Current Chemistry - Shan-Hwei Nienhuys-Cheng

Foundations of Inductive Logic Programming

Topics in Current Chemistry

Paperback Published: 18th April 1997
ISBN: 9783540629276
Number Of Pages: 410

Share This Book:


or 4 easy payments of $33.88 with Learn more
Ships in 5 to 9 business days

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 first part, a thorough treatment of first-order logic, resolution-based theorem proving, and logic programming is given. The second part introduces the main concepts of ILP and systematically develops the most important results on model inference, inverse resolution, unfolding, refinement operators, least generalizations, and ways to deal with background knowledge. Furthermore, the authors give an overview of PAC learning results in ILP and of some of the most relevant implemented systems.

About the Book
Logicp. 1
Propositional Logicp. 3
First-Order Logicp. 17
Normal Forms and Herbrand Modelsp. 35
Resolutionp. 55
Subsumption Theorem and Refutation Completenessp. 75
Linear and Input Resolutionp. 93
SLD-Resolutionp. 105
SLDNF-Resolutionp. 127
Inductive Logic Programmingp. 161
What Is Inductive Logic Programming?p. 163
The Framework for Model Inferencep. 179
Inverse Resolutionp. 197
Unfoldingp. 207
The Lattice and Cover Structure of Atomsp. 219
The Subsumption Orderp. 243
The Implication Orderp. 265
Background Knowledgep. 279
Refinement Operatorsp. 299
PAC Learningp. 321
Further Topicsp. 345
List of Symbolsp. 365
Bibliographyp. 369
Author Indexp. 391
Subject Indexp. 395
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540629276
ISBN-10: 3540629270
Series: Topics in Current Chemistry
Audience: General
Format: Paperback
Language: English
Number Of Pages: 410
Published: 18th April 1997
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.21
Weight (kg): 0.59