Logic Program Synthesis from Incomplete Information

Appeared in Volume 8/1, February 1995

Pierre Flener
Email: pf@bilkent.edu.tr

This monograph describes a novel approach to Inductive Logic Programming (ILP), which cross-fertilizes LP and machine learning. Aiming at the synthesis of recursive logic programs only, and this from incomplete information, we take a software engineering approach that is more appropriate than a pure AI agenda. The section Headings:

I: State of the Art

Automatic Programming; Deductive Inference in Automatic Programming; Inductive Inference in Automatic Programming; A Logic Program Development Methodology; Objectives.

II: Building Blocks

A Specification Approach; A Framework for Stepwise Logic Algorithm Synthesis; Algorithm Analysis and Algorithm Schemata; The Proofs-as-Programs Method; The Most-Specific-Generalization Method.

III: A Logic Algorithm Synthesis Mechanism

Overview of the Synthesis Mechanism; The Expansion Phase; The Reduction Phase; Conclusion.

The Kluwer Int. Series in Engineering and Computer Science 295
Kluwer Academic Publishers, Boston, November 1994
264 pages Hardbound
ISBN 0 7923 9532 8
US$85; 60.50 pounds; 165NLG
Email : kluwer@world.std.com (The Americas)
Email : services@wkap.nl (The world)