Presentation | 2007-05-31 Towards a logical reconstruction of CF-Induction Yoshitaka TAMAMOTO, Oliver RAY, Katsumi INOUE, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | CF-Induction is a sound and complete hypothesis finding procedure for full clausal logic. Given a background theory and examples, it uses the principle of Inverse Entailment to deductively compute an intermediate bridge formula which is then inductively generalised in order to return a hypothesis. The procedure makes use of several generalisation operators, such as least generalisation and inverse resolution, each of which can be applied in many possible ways. In this paper we propose an alternative generalisation approach for CF-Induction whereby the hypothesis is derived using a single deductive operator followed by anti-instantiat ion. We show that our simplified procedure retains its soundness and completeness. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | inverse entailment / CF-Induction / generalisation operator |
Paper # | AI2007-1 |
Date of Issue |
Conference Information | |
Committee | AI |
---|---|
Conference Date | 2007/5/24(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Artificial Intelligence and Knowledge-Based Processing (AI) |
---|---|
Language | ENG |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Towards a logical reconstruction of CF-Induction |
Sub Title (in English) | |
Keyword(1) | inverse entailment |
Keyword(2) | CF-Induction |
Keyword(3) | generalisation operator |
1st Author's Name | Yoshitaka TAMAMOTO |
1st Author's Affiliation | Department of Informatics, Graduate University for Advanced Studies() |
2nd Author's Name | Oliver RAY |
2nd Author's Affiliation | Department of Computer Science, University of Bristol |
3rd Author's Name | Katsumi INOUE |
3rd Author's Affiliation | National Institute of Informatics |
Date | 2007-05-31 |
Paper # | AI2007-1 |
Volume (vol) | vol.107 |
Number (no) | 78 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |