- Identification through inductive verification: Application to monotone quantifiers
- Lecture Notes in Computer Science
- Pages (from-to)
- Document type
- Interfacultary Research Institutes
- Institute for Logic, Language and Computation (ILLC)
In this paper we are concerned with some general properties of scientific hypotheses. We investigate the relationship between the situation when the task is to verify a given hypothesis, and when a scientist has to pick a correct hypothesis from an arbitrary class of alternatives. Both these procedures are based on induction. We understand hypotheses as generalized quantifiers of types <1> or <1,1>. Some of their formal features, like monotonicity, appear to be of great relevance. We first focus on monotonicity, extendability and persistence of quantifiers. They are investigated in context of epistemological verifiability of scientific hypotheses. In the second part we show that some of these properties imply learnability. As a result two strong paradigms are joined: the paradigm of computational epistemology (see e.g.[6,5] ), which goes back to the notion of identification in the limit as formulated in , and the paradigm of investigating natural language determiners in terms of generalized quantifiers in finite models (see e.g.).
- go to publisher's site
- Proceedings title: Logic, Language, and Computation: 7th International Tbilisi Symposium on Logic, Language, and Computation,
TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007: revised selected papers
Place of publication: Berlin
Editors: P. Bosch, D. Gabelaia, J. Lang
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.