Towards a Logical Reconstruction of CF-Induction

CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically explains a set of examples with respect to a prior background theory. Currently, CF-induction computes hypotheses by applying combinations of several complex generalisation operators to an intermediate theory called a bridge formula. In this paper we propose an alternative approach whereby hypotheses are derived from a bridge formula using a single deductive operator and a single inductive operator. We show that our simplified procedure preserves the soundness and completeness of CF-induction.

• Type: Conference
• Year: 2007
• Where: JSAI
• Authors: Yoshitaka Yamamoto, Oliver Ray, Katsumi Inoue
• Keywords: Artificial Intelligence, Bridge Formula, CF-induction Computes Hypotheses, Hypothesis finding Procedure, JSAI 2007