Log In
Or create an account ->
Imperial Library
Home
About
News
Upload
Forum
Help
Login/SignUp
Index
Series Foreword
Preface
Introduction
I Fundamentals
2 Problem Statement and Definitions
2.2 The ILP Probleiii 13
2.3 Incremental Systems and Queries 22
2.4 Identifying Logic Programs in the Liiiiit
3 Bottom-up Methods
3.1 Plotkin's Least General Generalization 34
3.2 Inverse Resolntioii 45
3.3 Inverse Implication 60
4 Top-down Methods
4.1 Shapiro's Model Inference System 79
4.2 FOIL 85
5 A Unifying Framework
5.2 Exteiisional Top-Down Methods Revisited
5.3 Example 103
II ILP with Strong Bias
6 Inductive Bias
6.1 Refinement Operators 111
6.2 Clause Templates 115
6.3 Domain Theories and Grammars 118
6.4 Bias in Bottom-up Systems 125
6.5 Clause Sets 129
7 Program Induction with Queries
7.1 The FILP System
7.2 .Justification of Extensionality and Problems 142
7.3 Completing Examples before Learning 144
7.4 Discussion 147
8 Program Induction without Queries
8.1 The Induction Procedure 150
8.2 Example
8.3 Properties of the Induct ion Procedure 154
8.4 A Simplified Implementation 157
8.5 Discussion 163
III Software Engineering Applications
9 Development, Maintenance, and Reuse
9.1 Introduction 169
9.2 Inductive Logic Programming Languages 171
9.3 The Inductive Software Process 174
9.4 From Inductive Learning to Inductive Progranmiing 180
10 Testing
10.1 Introduction to Testing
10.2 Induction and Testing Compared
10.3 Inductive Test Case Generation
10.4 Examples 191
11 A Case Study
11.1 Synthesizing Insert 200
11.2 Testing Insert 209
← Prev
Back
Next →
← Prev
Back
Next →