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 inevitably 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 su cient data have not yet given.
منابع مشابه
Pointfree topology version of image of real-valued continuous functions
Let $ { mathcal{R}} L$ be the ring of real-valued continuous functions on a frame $L$ as the pointfree version of $C(X)$, the ring of all real-valued continuous functions on a topological space $X$. Since $C_c(X)$ is the largest subring of $C(X)$ whose elements have countable image, this motivates us to present the pointfree version of $C_c(X).$The main aim of this paper is to present t...
متن کاملThe ring of real-valued functions on a frame
In this paper, we define and study the notion of the real-valued functions on a frame $L$. We show that $F(L) $, consisting of all frame homomorphisms from the power set of $mathbb{R}$ to a frame $ L$, is an $f$-ring, as a generalization of all functions from a set $X$ into $mathbb R$. Also, we show that $F(L) $ is isomorphic to a sub-$f$-ring of $mathcal{R}(L)$, the ring of real-valued continu...
متن کاملCompact composition operators on real Banach spaces of complex-valued bounded Lipschitz functions
We characterize compact composition operators on real Banach spaces of complex-valued bounded Lipschitz functions on metric spaces, not necessarily compact, with Lipschitz involutions and determine their spectra.
متن کاملA vector matrix real time backpropagation algorithm for recurrent neural networks that approximate multi-valued periodic functions
A vector matrix real time backpropagation algorithm for recurrent neural networks that approximate multi-valued periodic functions," Received Unlike feedforward neural networks (FFNN) which can act as universal function ap-proximators, recursive, or recurrent, neural networks can act as universal approximators for multi-valued functions. In this paper, a real time recursive backpropagation (RTR...
متن کاملQuasicompact and Riesz unital endomorphisms of real Lipschitz algebras of complex-valued functions
We first show that a bounded linear operator $ T $ on a real Banach space $ E $ is quasicompact (Riesz, respectively) if and only if $T': E_{mathbb{C}}longrightarrow E_{mathbb{C}}$ is quasicompact (Riesz, respectively), where the complex Banach space $E_{mathbb{C}}$ is a suitable complexification of $E$ and $T'$ is the complex linear operator on $E_{mathbb{C}}$ associated with $T$. Next, we pr...
متن کامل