Identification in the limit of first order structures
From MaRDI portal
The theory of inductive inference has been largely confined to recursion theoretic contexts, in particular, to the inference of total functions. The present paper extends the theory to the inference of structures interpreting first-order languages. Model-theoretic techniques are used to prove results about the conditions under which successful inference is possible.
Recommendations
Cited in
(13)- Paradigms of truth detection
- Inductive inference from theory laden data
- Inductive inference in the limit for first-order sentences
- A model for science kinematics
- On the danger of half-truths
- Inductive inference in the limit of empirically adequate theories
- On inductive inference of cyclic structures
- Introducing new predicates to model scientific revolution
- Effective identification in the limit of first order structures and creative sets
- On reliability and refutability in nonconstructive identification
- Learning theory and epistemology
- Identification Using Stability Restrictions
- scientific article; zbMATH DE number 791077 (Why is no real title available?)
This page was built for publication: Identification in the limit of first order structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1073023)
