References
Angluin, Dana and Smith, Carl, ‘A survey of inductive inference: Theory and methods’, Yale University Department of Computer Science Technical Report 250, October, 1982.
Blum, Lenore and Blum, Manuel, ‘Toward a mathematical theory of inductive inference’, Information and Control, 28 (1975), 125–155.
Chang, C. C. and Keisler, H. J., Model Theory, North Holland, Amsterdam, 1977.
Glymour, Clark, ‘Inductive inference in the limit’, Erkenntnis, 21 (1984).
Gold, E. Mark, ‘Language identification in the limit’, Information and Control, 10 (1967), 447–474.
Machtey, M. and Young, P., An Introduction to the General Theory of Algorithms, North Holland, Amsterdam, 1978.
Osherson, D., Stob, M., and Weinstein, S., Systems That Learn, MIT Press, 1986.
Osherson, D. and Weinstein, S., ‘Criteria of learning’, Information and Control, 52 (1982), 123–138.
Rogers, Hartley, Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York, 1967.
Shapiro, Ehud Y., ‘An algorithm that infers theories from facts’, Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI, August, 1981.
Author information
Authors and Affiliations
Additional information
The research reported herein was supported by Grant No. 590 from the System Development Foundation.
Rights and permissions
About this article
Cite this article
Osherson, D., Weinstein, S. Identification in the limit of first order structures. J Philos Logic 15, 55–81 (1986). https://doi.org/10.1007/BF00250549
Issue Date:
DOI: https://doi.org/10.1007/BF00250549