<テクニカルレポート>
Definite Inductive Inference as a Successful Identification Criterion

作成者
本文言語
出版者
発行日
雑誌名
出版タイプ
アクセス権
概要 A majority of studies on inductive inference of formal languages and models of logic programings have mainly used Gold's identification in the limit as a correct inference criterion. However, in this ...criterion, we can not decide in general whether the inference terminates or not, and the results of the inference involve some risks. In this paper, we consider the definite inductive inference as a successful identification criterion. The definite inference machine produces a unique guess just once when it convinces the termination of the inference, and the result does not involve any risk at all. We discuss the necessary and sufficient conditions for definite inductive inferability from positive data and complete data respectively.続きを見る

本文情報を非表示

rifis-tr-52 pdf 603 KB 59  

詳細

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