ENGLISH

Foundations of Inductive Logic Programming

By Shan-Hwei Nienhuys-Cheng , Roland de Wolf (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1997
ISBN
3540629270, 9783540629276
DOI
10.1007/3-540-62927-0
LCC
QA76.63 .N54 1997
Open Library ID
OL670564M
Language
english
Format
DJVU
Filesize
3 MB (3452901 bytes)
Series
Lecture Notes in Computer Science 1228 : Lecture Notes in Artificial Intelligence
Edition
1
Pages
410\410
Library
Kolxo3
DPI
300
Time added
2009-12-04 00:34:26
Artificial Intelligence (incl. Robotics); Mathemat

Description

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.

Similar books