| 作成者 |
|
|
|
|
|
| 本文言語 |
|
| 出版者 |
|
|
|
| 発行日 |
|
| 収録物名 |
|
| 巻 |
|
| 出版タイプ |
|
| アクセス権 |
|
| 関連DOI |
|
|
|
| 関連URI |
|
|
|
| 関連情報 |
|
|
|
| 概要 |
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.続きを見る
|
Mendeley出力
