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