## ＜テクニカルレポート＞Inferability of Recursive Real-Valued Functions

作成者 著者識別子 作成者名 所属機関 所属機関名 Department of Informatics Kyushu University 九州大学大学院システム情報科学研究院情報理学部門 著者識別子 作成者名 所属機関 所属機関名 Department of Informatics Kyushu University 九州大学大学院システム情報科学研究院情報理学部門 英語 Department of Informatics, Kyushu University 九州大学大学院システム情報科学研究院情報理学部門 1997-04-01 137 Accepted Manuscript open access DOI Technical Report || 137 http://www.i.kyushu-u.ac.jp/research/report.html 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 132
trcs137 pdf 245 KB 186

### 詳細

レコードID 3006 査読無 テクニカルレポート 2009.04.22 2017.01.20