<テクニカルレポート>
Inferability of Recursive Real-Valued Functions

作成者
本文言語
出版者
発行日
雑誌名
出版タイプ
アクセス権
概要 This paper presents a method of inductive inference of real-valued functions from given pairs of observed data of (x, h(x)), where h is a target function to be inferred. Each of such observed data ine...vitably involves some ranges of errors, and hence it is usually represented by a pair of rational numbers which show the approximate value and the error bound, respectively. On the other hand, a real number called a recursive real number can be represented by a pair of two sequences of rational numbers, which converges to the real number and converges to zero, respectively. These sequences show an approximate value of the real number and an error bound at each point. Such a real number can also be represented by a sequence of closed intervals with rational end points which converges to a singleton interval with the real number as both end points. In this paper, we propose a notion of recursive real-valued functions that can enjoy the merits of the both representations of the recursive real numbers. Then we present an algorithm which approximately infers real-valued functions from numerical data with some error bounds, and show that there exists a rich set of real-valued functions which is approximately inferable in the limit from such numerical data. We also discuss the precision of the guesses from the machine when sufficient data have not yet given.続きを見る

本文情報を非表示

trcs137.ps gz 77.4 KB 45  
trcs137 pdf 245 KB 127  

詳細

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