License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.MEMICS.2010.62
URN: urn:nbn:de:0030-drops-30717
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2011/3071/
Go to the corresponding OASIcs Volume Portal

Kucevalovs, Ilja

On Reliability and Refutability in Nonconstructive Identification

pdf-format:
15.pdf (0.4 MB)

Abstract

Identification in the limit, originally due to Gold [Gold, Information and Control, 1967], 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 [Kucevalovs, 2010] are now closed.

BibTeX - Entry

@InProceedings{kucevalovs:OASIcs:2011:3071,
  author =	{Ilja Kucevalovs},
  title =	{{On Reliability and Refutability in Nonconstructive Identification}},
  booktitle =	{Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
  pages =	{62--68},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-22-4},
  ISSN =	{2190-6807},
  year =	{2011},
  volume =	{16},
  editor =	{Ludek Matyska and Michal Kozubek and Tom{\'a}{\v{s}} Vojnar and Pavel Zemc{\'i}k and David Antos},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2011/3071},
  URN =		{urn:nbn:de:0030-drops-30717},
  doi =		{10.4230/OASIcs.MEMICS.2010.62},
  annote =	{Keywords: inductive inference, identification, reliability, refutability, nonconstructive computation}
}

Keywords: inductive inference, identification, reliability, refutability, nonconstructive computation
Collection: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers
Issue Date: 2011
Date of publication: 11.03.2011

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI