| 作成者 |
|
|
|
| 本文言語 |
|
| 出版者 |
|
|
|
| 発行日 |
|
|
|
| 収録物名 |
|
| 巻 |
|
| 号 |
|
| 開始ページ |
|
| 終了ページ |
|
| 出版タイプ |
|
| アクセス権 |
|
| Crossref DOI |
|
| 関連DOI |
|
| 関連DOI |
|
|
|
|
|
| 関連URI |
|
|
|
|
|
| 関連HDL |
|
| 関連情報 |
|
|
|
|
|
|
|
| 概要 |
In this paper we give a formal definition of examples(or training instances) that are widely used in the field of concept learning. Based on this definition, we discuss the operators introduced by Mug...gieton[2] in Duce system, especially the suffficiency of operators identification and inter-construction in the sense that for any given ground definite program P we can give out a set of examples(named characteristic sample) from which we can learn P using these two operators. For this purpose, we define the concept of unique definition for ideiitification and inter-construction which corresponds to the isolated reference defined by Muggleton[4] for absorption and intra-construction. We also discuss the independence of Duce operators.続きを見る
|