IPSJ Digital Courier
Online ISSN : 1349-7456
ISSN-L : 1349-7456
Refutability and Reliability for Inductive Inference of Recursive Real-Valued Functions
Eiju HirowatariKouichi HirataTetsuhiro MiyaharaSetsuo Arikawa
Author information
JOURNAL FREE ACCESS

2005 Volume 1 Pages 141-152

Details
Abstract

Inductive inference gives us a theoretical model of concept learning from examples. In this paper, we study refutably and reliably inductive inference of recursive real-valued functions. First we introduce the new criteria RealRefEx for refutable inference and RealRelEx for reliable inference. Then, we compare these two criteria with RealEx for identification in the limit, RealFin for learning finitely and RealNum¡ for learning by enumeration that have been already introduced in the previous works, and investigate their interaction. In particular, we show that RealRefEx and RealRelEx are closed under union, as similar as the criteria RefEx and RelEx for inductive inference of recursive functions.

Content from these authors
© 2005 by the Information Processing Society of Japan
Previous article Next article
feedback
Top