Towards a Logical Reconstruction of CF-Induction

Yoshitaka Yamamoto, Oliver Ray, Katsumi Inoue

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

6 Citations (Scopus)

Abstract

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.
Translated title of the contributionTowards a Logical Reconstruction of CF-Induction
Original languageEnglish
Title of host publicationNew Frontiers in Artificial Intelligence: JSAI 2007 Conference and Workshop Revised Selected Papers (from 5th Workshop on Learning with Logics and Logics for Learning)
PublisherSpringer
Publication statusPublished - 2008

Bibliographical note

Other page information: 330-343
Conference Proceedings/Title of Journal: New Frontiers in Artificial Intelligence: JSAI 2007 Conference and Workshop Revised Selected Papers (from 5th Workshop on Learning with Logics and Logics for Learning)
Other identifier: 2000832

Fingerprint Dive into the research topics of 'Towards a Logical Reconstruction of CF-Induction'. Together they form a unique fingerprint.

Cite this