Abstract
In the standard model of inductive inference, a learner gets as input the graph of a function, and has to discover (in the limit) a program for the function. In this paper, we consider besides the graph also other modes of input such as the complement of the graph, the undergraph and the overgraph of the function. The relationships between these models are studied and a complete picture is obtained. Furthermore, these notions are also explored for learning with oracles, learning in teams and learning in the presence of additional information.
Similar content being viewed by others
References
Adleman, L., Blum, M.: Inductive inference and unsolvability. J. Symb. Log. 56, 891–900 (1991)
Angluin, D.: Inductive inference of formal languages from positive data. Inf. Control 45, 117–135 (1980)
Bārzdiņš, J.: Two theorems on the limiting synthesis of functions. Theory Algorithm Programs I, 82–88 (1974). Latvian State University
Blum, L., Blum, M.: Toward a mathematical theory of inductive inference. Inf. Control 28, 125–155 (1975)
Case, J., Lynes, C.: Inductive inference and language identification. In: Nielsen, M., Schmidt, E.M. (eds.) Proceedings of the of the Ninth International Colloquium on Automata, Languages and Programming—ICALP. LNCS, vol. 140, pp. 107–115. Springer, Heidelberg (1982)
Fortnow, L., Gasarch, W., Jain, S., Kinber, E., Kummer, M., Kurtz, S., Pleszkoch, M., Slaman, T., Solovay, R., Stephan, F.: Extremes in the degrees of inferability. Ann. Pure Appl. Log. 66, 231–276 (1994)
Freivalds, R., Wiehagen, R.: Inductive inference with additional information. Electron. Inf. Kybern. 15, 179–195 (1979)
Fulk, M.: Prudence and other conditions on formal language learning. Inf. Comput. 85, 1–11 (1990)
Gold, E.M.: Language identification in the limit. Inf. Control 10, 447–474 (1967)
Jain, S., Sharma, A.: On the non-existence of maximal inference degrees for language identification. Inf. Process. Lett. 47, 81–88 (1993)
Jain, S., Sharma, A.: Computational limits on team identification of languages. Inf. Comput. 130(1), 19–60 (1996)
Kummer, M., Stephan, F.: On the structure of degrees of inferability. J. Comput. Syst. Sci. 52, 214–238 (1996). Special Issue COLT 1993
Odifreddi, P.: Classical Recursion Theory. North-Holland, Amsterdam (1989)
Osherson, D., Stob, M., Weinstein, S.: Systems that Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists. Bradford/MIT Press, Cambridge (1986)
Pitt, L., Smith, C.H.: Probability and plurality for aggregations of learning machines. Inf. Comput. 77, 77–92 (1988)
Rogers, H.: Theory of Recursive Functions and Effective Computability. McGraw-Hill, New York (1967)
Soare, R.: Recursively Enumerable Sets and Degrees. A Study of Computable Functions and Computably Generated Sets. Springer, Heidelberg (1987)
Author information
Authors and Affiliations
Corresponding author
Additional information
S. Jain and F. Stephan were supported in part by NUS grant numbers R252-000-212-112 and R252-000-308-112.
E. Martin is jointly appointed at the UNSW and National ICT Australia which is funded by the Australian Government’s Department of Communications, Information Technology and the Arts and the Australian Research Council through Backing Australia’s Ability and the ICT Centre of Excellence Program.
Rights and permissions
About this article
Cite this article
Jain, S., Martin, E. & Stephan, F. Input-Dependence in Function-Learning. Theory Comput Syst 45, 849–864 (2009). https://doi.org/10.1007/s00224-009-9174-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00224-009-9174-x