@inproceedings{2000832,
author={Yoshitaka Yamamoto and  Oliver Ray and Katsumi Inoue},
title={Towards a Logical Reconstruction of CF-Induction},
booktitle={New Frontiers in Artificial Intelligence: JSAI 2007 Conference and Workshop Revised Selected Papers (from 5th Workshop on Learning with Logics and Logics for Learning)},
publisher={Springer},
pages={330--343},
month={February},
year={2008},
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.},
abstract-url={http://www.cs.bris.ac.uk/Publications/pub_master.jsp?id=2000832},
url={http://www.cs.bris.ac.uk/Publications/Papers/2000832.pdf},
keyword={Artificial Intelligence,Machine Learning},
pubtype={102}
}