On Reliability and Refutability in Nonconstructive Identification

Identification in the limit, originally due to Gold [10], is a widely used computation model for inductive inference and human language acquisition. We consider a nonconstructive extension to Gold's model. Our current topic is the problem of applying the notions of reliability and refutability to nonconstructive identification. Four general identification situations are defined and two of them are studied. Thus some questions left open in [13] are now closed. Keywords and phrases inductive inference, identification, reliability, refutability, nonconstructive computation Digital Object Identifier 10.4230/OASIcs.MEMICS.2010.62

• Type: Journal
• Year: 2010
• Where: MEMICS
• Authors: Ilja Kucevalovs
• Keywords: General Identification Situations, Inductive Inference, MEMICS 2010, Phrases Inductive Inference, Theoretical Computer Science