Closedness Properties in EX-Identification of Recursive Functions

  • Authors:
  • Kalvis Apsitis;Rusins Freivalds;Raimonds Simanovskis;Juris Smotrovs

  • Affiliations:
  • -;-;-;-

  • Venue:
  • ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

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.