Foundations of Inductive Logic Programming

Ronald De Wolf

ISBN 10: 3540629270 / ISBN 13: 9783540629276

Published by Springer Berlin Heidelberg Apr 1997, 1997

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -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. 428 pp. Englisch.

Seller Inventory # 9783540629276

Bibliographic Details

• Title: Foundations of Inductive Logic Programming
• Publisher: Springer Berlin Heidelberg Apr 1997
• Publication Date: 1997
• Language: English
• ISBN 10: 3540629270
• ISBN 13: 9783540629276
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 24D millimeters 235 millimeters width by 155 millimeters height by 24 millimeters depth
• Weight: 645 grams

About this title

Synopsis

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.