Abstract A framework for induction has been proposed in (Muggleton & Buntine, 1988) and implemented in the CIGOL system. We have extended the operators introduced in CIGOL to non unit clauses. Doing this, we have discovered two limitations of inversion of resolution, mainly one about the Absorption operator. We therefore propose a new operator called Saturation that replaces Absorption in our system. We give a clear definition of this operator after a formal analysis of the problem. We then describe how the two other operators, namely Intraconstruction and Truncation, can be reformulated and re-implemented. *
[1]
Céline Rouveirol.
Saturation: Postponing Choices when Inverting Resolution
,
1990,
ECAI.
[2]
Tom M. Mitchell,et al.
Generalization as Search
,
2002
.
[3]
Wray L. Buntine.
Generalized Subsumption and Its Applications to Induction and Redundancy
,
1986,
Artif. Intell..
[4]
Stephen Muggleton,et al.
Machine Invention of First Order Predicates by Inverting Resolution
,
1988,
ML.
[5]
Robert J. Hall.
Learning by Failing to Explain
,
1986,
AAAI.
[6]
Claude Sammut,et al.
Learning Concepts by Performing Experiments
,
1981
.