Criteria for Inductive Inference with Mind Changes and Anomalies of Recursive Real-Valued Functions (<Special Issue>Special Issue on Selected Papers from LA Symposium)

概要

論文の詳細を見る
This paper investigates the interaction of mind changes and anomalies for inductive inference of recursive real-valued functions. We show that the criteria for inductive inference of recursive real-valued functions by bounding the number of mind changes and anomalies preserve the same hierarchy as that of recursive functions, if the length of each anomaly as an interval is bounded. However, we also show that, without bounding it, the hierarchy of some criteria collapses. More precisely, while the class of recursive real-valued functions inferable in the limit allowing no more than one anomaly is properly contained in the class allowing just two anomalies, the latter class coincides with the class allowing arbitrary and bounded number of anomalies.
社団法人電子情報通信学会の論文
2003-02-01