Abstract
The paper investigates learning functions for first order languages. Several types of convergence and identification in the limit are defined. Positive and negative results on learning problems are presented throughout the paper.
Similar content being viewed by others
References
D. Angluin andC. H. Smith,Inductive inference: theories and methods Computing Surveys, vol15,3 (1983), pp. 237–269.
L. Blum andM. Blum,Toward a mathematical theory of inductive inference Information and Control 28 (1975), pp. 125–155.
C. Glymour,Inductive inference in the limit Erkenntnis 22 (1985), pp. 23–31.
E. M. Gold,Language identification in the limit Information and Control 10 (1967), pp. 447–474.
K. T. Kelly andC. Glymour,Convergence to the truth and nothing but the truth, Philosophy of Science 56 (2) (1989).
J. D. Monk,Mathematical Logic Springer-Verlag, Berlin 1976.
D. Osherson andS. Weinstein,Identification in the limit of first order structures Journal of Symbolic Logic 15, (1986), pp. 55–81.
E. Y. Shapiro,Inductive inference of theories from facts, Research Report, Yale Univ. Dept. of Computer Science, 1981.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Lauth, B. Inductive inference in the limit for first-order sentences. Stud Logica 52, 491–517 (1993). https://doi.org/10.1007/BF01053257
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01053257