Presentation | 2004/1/22 Consideration on a generalization procedure in CF-induction 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 the procedure on inverse cntailrtient in inductive logic programming. Although CF-induction has the theoretical advantage that it is sound and complete for finding hypotheses from full clausal theories, the application system adopted CF-induction is not constructed yet. This is because the generalization procedure in CF-induction is not decided as algoritm clearly. Thus We propose the new alogorithm about the generalization procedure in CF-induction, and show that the proposed algoritm is sound and complete for finding hypotheses from single clause. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | inductive logic programing / inverse entailment / generalization |
Paper # | AI2003-70 |
Date of Issue |
Conference Information | |
Committee | AI |
---|---|
Conference Date | 2004/1/22(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 |
Sub Title (in English) | |
Keyword(1) | inductive logic programing |
Keyword(2) | inverse entailment |
Keyword(3) | generalization |
1st Author's Name | Yoshitaka YAMAMOTO |
1st Author's Affiliation | Graduate School of Science Techology, Kobe University() |
2nd Author's Name | Katsumi INOUE |
2nd Author's Affiliation | Department of Electrical and Eletronics Engineering, Kobe University |
Date | 2004/1/22 |
Paper # | AI2003-70 |
Volume (vol) | vol.103 |
Number (no) | 623 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |