<テクニカルレポート>
Explanation-Based Reuse of Prolog Programs

作成者
本文言語
出版者
発行日
雑誌名
出版タイプ
アクセス権
概要 This paper presents a method of extracting subprograms from background knowledge. Most studies on learning logic programs so far developed are mainly concerned with pure Prolog, so that we can not dea...l with programs with system predicates such as the cut symbol, true, false, and so on. Explanation-based generalization system builds an explanation and learns a concept definition as its generalization, provided an input program. However, it assumes the input program be pure Prolog program. This paper proposes explanation-based reuse (EBR, for short), which is an extension of the explanation-based generalization and a method of program reuse. In EBR, we can deal with some system predicates. In extracting subprograms, we need to extract correct subprograms based on not only an explanation but also the whole background knowledge for a goal concept. This paper also shows that such extracted subprograms by EBR are correct.続きを見る

本文情報を非表示

86.ps tgz 74.8 KB 8  
86.ps.tar pdf 177 KB 145  

詳細

レコードID
査読有無
関連情報
注記
タイプ
登録日 2009.04.22
更新日 2018.08.31