Skip to main navigation Skip to search Skip to main content

Closedness properties in ex-identification of recursive functions

  • Kalvis Apsitis
  • , Rusiņš Freivalds
  • , Raimonds Simanovskis
  • , Juris Smotrovs
  • University of Maryland, College Park
  • University of Latvia

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research › peer-review

Abstract

In this paper we investigate in which cases unions of identifiable classes of recursive functions are also necessarily identifiable. We consider identification in the limit with bounds on mindchanges and anomalies. Though not closed under the set union, these identification types still have features resembling closedness. For each of them we find such n that 1) if every union of n — 1 classes out of U1,…,Un is identifiable, so is the union of all n classes; 2) there are such classes U1,…,Un-1 that every union of n — 2 classes out of them is identifiable, while the union of n — 1 classes is not. We show that by finding these n we can distinguish which requirements put on the identifiability of unions of classes are satisfiable and which are not. We also show how our problem is connected with team learning.

Original languageEnglish
Title of host publicationAlgorithmic Learning Theory - 9th International Conference, ALT 1998, Proceedings
EditorsMichael M. Richter, Carl H. Smith, Rolf Wiehagen, Thomas Zeugmann
PublisherSpringer Verlag
Pages46-60
Number of pages15
ISBN (Print)354065013X, 9783540650133
DOIs
Publication statusPublished - 1998
Externally publishedYes
Event9th International Conference on Algorithmic Learning Theory, ALT 1998 - Otzenhausen, Germany
Duration: 8 Oct 1998 → 10 Oct 1998

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1501
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference9th International Conference on Algorithmic Learning Theory, ALT 1998
Country/TerritoryGermany
CityOtzenhausen
Period8/10/98 → 10/10/98

Fingerprint

Dive into the research topics of 'Closedness properties in ex-identification of recursive functions'. Together they form a unique fingerprint.

Cite this