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. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-78197-4_31 | JSAI |
Keywords | Field | DocType |
full clausal logic,single deductive operator,prior background theory,cf-induction computes hypothesis,single inductive operator,complex generalisation operator,complete hypothesis,intermediate theory,alternative approach,bridge formula,logical reconstruction | Discrete mathematics,Inverse,Logical consequence,Algebra,Generalization,Operator (computer programming),Preferential entailment,Soundness,Completeness (statistics),Mathematics | Conference |
Volume | ISSN | ISBN |
4914 | 0302-9743 | 3-540-78196-X |
Citations | PageRank | References |
4 | 0.45 | 11 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yoshitaka Yamamoto | 1 | 29 | 7.50 |
Oliver Ray | 2 | 171 | 13.02 |
Katsumi Inoue | 3 | 1271 | 112.78 |