Authors: Frank Stephan^{*} and Thomas Zeugmann^{**}
Source: DOITechnical Report DOITR 166, Department of Informatics,
Kyushu University, Fukuoka, Japan, July 1999.
Abstract. Blum and Blum (1975) showed that a class B of suitable recursive approximations to the halting problem K is reliably EXlearnable but left it open whether or not B is in NUM. By showing B to be not in NUM we resolve this old problem. Moreover, variants of this problem obtained by approximating any given recursively enumerable set A instead of the halting problem K are studied. All corresponding function classes U(A) are still EXinferable but may fail to be reliably EXlearnable, for example if A is nonhigh and hypersimple. Blum and Blum (1975) considered only approximations to K defined by monotone complexity functions. We prove this condition to be necessary for making learnability independent of the underlying complexity measure. The class B' of all recursive approximations to K generated by all total complexity functions is shown to be not even behaviorally correct learnable for a class of natural complexity measures. On the other hand, there are complexity measures such that B' is EXlearnable. A similar result is obtained for all classes U(A)'. For natural complexity measures, B is shown to be not robustly learnable, but again there are complexity measures such that B and, more generally, every class U(A) is robustly EXlearnable. This result extends the criticism of Jain, Smith and Wiehagen (1998), since the classes defined by artificial complexity measures turn out to be robustly learnable while those defined by natural complexity measures are not robustly learnable.
^{*}Supported by the Deutsche Forschungsgemeinschaft (DFG) under under grant no. Am 90/62.
^{**}
Supported by the
GrantinAid for Scientific Research in Fundamental Areas from the
Japanese Ministry of Education,
Science, Sports, and Culture under grant no. 10558047.
