Inductive inference in the limit for first-order sentences

Studia Logica 52 (4):491 - 517 (1993)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Inductive inference and unsolvability.Leonard M. Adleman & M. Blum - 1991 - Journal of Symbolic Logic 56 (3):891-900.
Identification in the limit of categorial grammars.Makoto Kanazawa - 1996 - Journal of Logic, Language and Information 5 (2):115-155.
Logically reliable inductive inference.Oliver Schulte - 2007 - In Friend Michele, Goethe Norma B. & Harizanov Valentina (eds.), Induction, algorithmic learning theory, and philosophy. Springer. pp. 157-178.
Inductive inference in the limit.Clark Glymour - 1985 - Erkenntnis 22 (1-3):23 - 31.
A material theory of induction.John D. Norton - 2003 - Philosophy of Science 70 (4):647-670.
Inductive inference in the limit of empirically adequate theories.Bernhard Lauth - 1995 - Journal of Philosophical Logic 24 (5):525 - 548.

Analytics

Added to PP
2009-01-28

Downloads
34 (#458,553)

6 months
9 (#290,637)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Bernhard Lauth
Ludwig Maximilians Universität, München

Citations of this work

Inductive inference in the limit of empirically adequate theories.Bernhard Lauth - 1995 - Journal of Philosophical Logic 24 (5):525 - 548.
New blades for occam's razor.Bernhard Lauth - 1997 - Erkenntnis 46 (2):241-267.

Add more citations

References found in this work

Mathematical logic.J. Donald Monk - 1976 - New York: Springer Verlag.
Inductive inference in the limit.Clark Glymour - 1985 - Erkenntnis 22 (1-3):23 - 31.
Mathematical Logic.Jeffrey B. Remmel - 1979 - Journal of Symbolic Logic 44 (2):283-284.

Add more references