## Inductive Logic ProgrammingInductive logic programming is a new research area formed at the intersection of machine learning and logic programming. While the influence of logic programming has encouraged the development of strong theoretical foundations, this new area is inheriting its experimental orientation from machine learning. Inductive Logic Programming will be an invaluable text for all students of computer science, machine learning and logic programming at an advanced level. * * Examination of the background to current developments within the area * Identification of the various goals and aspirations for the increasing body of researchers in inductive logic programming * Coverage of induction of first order theories, the application of inductive logic programming and discussion of several logic learning programs * Discussion of the applications of inductive logic programming to qualitative modelling, planning and finite element mesh design |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Inductive Logic Programming | 3 |

A Study of Constrained | 29 |

Extensions of Inversion of Resolution Applied to Theory Com | 63 |

Copyright | |

101 other sections not shown

### Other editions - View all

### Common terms and phrases

absorption applied approach arguments arity Artificial Intelligence background knowledge body Buntine CIGOL clause logic CLINT Closed World Assumption complete Computer concept descriptions constrained atoms constraint predicates constraint theory constructed contains covers defined predicates definition derivation described domain theory efficient facts Figure finite first-order first-order logic FOCL FOIL framework given GOLEM heuristic Horn clauses hypothesis space incremental inductive learning Inductive Logic Programming inference information gain input instances instantiated integrity constraints intended interpretation inverse resolution knowledge base language learnable Lemma LINUS literals Machine Learning mesh method Morgan Kaufmann Muggleton multi-valued logic negative examples non-monotonic logic operator oracle output PAC-learning polynomial positive examples problem Proceedings Prolog proof tree queries quicksort recursive representation representative set restricted result RLGG rule models saturation Section set of clauses SIERES sorted atoms specific subset substitution target predicate Theorem tion training examples truncation tuples unit clauses variables