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