| Presentation | 2005/3/7 Consideration on a generalization procedure in CF-induction Second Report Yoshitaka YAMAMOTO, Katsumi INOUE, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | This paper considers a generalization in CF-induction which is one of procedures for inverse entailment constructing inductive hypothesis in inductive logic programming. CF-induction guarantees soundness and completeness for finding hypotheses from full clausal theories. although some operations have been introduced as generalization procedures in CF-induction, they are not sufficiently enough for the completeness, and a systematic method of constructing hypothese with those generalization operations has not yet been discussed. In this paper, we utilize basic properties that are applicable to any generalization procedure in terms of sequences of operations, and reconstruct a method of hypotheses generation by reorganzing the generalization operators that have been introduced by now. The resulting generalization method is sound and complete for finding hypotheses from full clausal theories in CF-induction. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | inductive logic programming / inverse entailment / generalization |
| Paper # | AI2004-76 |
| Date of Issue |
| Conference Information | |
| Committee | AI |
|---|---|
| Conference Date | 2005/3/7(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 | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Consideration on a generalization procedure in CF-induction Second Report |
| Sub Title (in English) | |
| Keyword(1) | inductive logic programming |
| Keyword(2) | inverse entailment |
| Keyword(3) | generalization |
| 1st Author's Name | Yoshitaka YAMAMOTO |
| 1st Author's Affiliation | Graduate School of Science Techology, Kobe University:National Institute of Informatics() |
| 2nd Author's Name | Katsumi INOUE |
| 2nd Author's Affiliation | National Institute of Informatics |
| Date | 2005/3/7 |
| Paper # | AI2004-76 |
| Volume (vol) | vol.104 |
| Number (no) | 726 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |