Inductive Logic Programming

Front Cover
Stephen Muggleton
Morgan Kaufmann, 1992 - Computers - 565 pages
Inductive logic programming is a new research area emerging at present. Whilst inheriting various positive characteristics of the parent subjects of logic programming an machine learning, it is hoped that the new area will overcome many of the limitations of its forbears. This book describes the theory, implementations and applications of Inductive Logic Programming.

From inside the book

Contents

Inductive Logic Programming
4
A Framework for Inductive Logic Programming
9
Constraints for Predicate Invention
14
Inducing Temporal Fault Diagnostic Rules from a Qualitative
24
A Study of Constrained
29
2
30
4
35
7
45
Related Work
313
Refinement Graphs for FOIL and LINUS
319
4
327
Controlling the Complexity of Learning in Logic through Syn
336
Efficient Learning of Logic Programs with NonDeterminate
361
An InformationBased Approach to Integrating Empirical
373
Analogical Reasoning for Logic Programming
397
Some Thoughts on Inverse Resolution
409

Extensions of Inversion of Resolution Applied to Theory Com
63
879
77
Ranan B Banerji
93
3
98
Logic Program Synthesis from Good Examples
113
A Critical Comparison of Various Methods Based on Inverse
131
4
139
NonMonotonic Learning
145
An Overview of the Interactive ConceptLearner and Theory
163
5
179
Richards
214
Relating Relational Learning Algorithms
233
Machine Invention of FirstOrder Predicates by Inverting
261
Integrating Abduction and Induction
300
4
306
Department of Computer Science Katholieke Universiteit Leuven Celestij
422
Experiments in Nonmonotonic FirstOrder Induction
423
Learning Qualitative Models of Dynamic Systems
437
The Application of Inductive Logic Programming to Finite
453
Model
471
4
480
4
502
8
510
Learning Chess Patterns
517
Applying Inductive Logic Programming in Reactive Environ
539
5
547
336
551
345
559
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page ix - Department of Information and Computer Science University of California, Irvine, CA 92717 Abstract As methodologies and tools for chip-level design mature, design effort becomes focused on higher abstraction levels.

Bibliographic information