<学術雑誌論文>
Sufficiency of Operators Identification and Inter-construction in Inverting Resolution

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

本文ファイル

pdf rifis-tr-24 pdf 1.48 MB 282 RIFIS Technical Report
pdf p111 pdf 482 KB 92 Bulletin of Informatics and Cybernetics

詳細

PISSN
EISSN
NCID
レコードID
査読有無
登録日 2009.04.22
更新日 2020.10.22

この資料を見た人はこんな資料も見ています