Closedness Properties in EX-identification of Recursive Functions

Authors: Kalvis Apsitis, Rusins Freivalds, Raimonds Simanovskis and Juris Smotrovs

Source: Lecture Notes in Artificial Intelligence Vol. 1501, 1998, 46 - 60.

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.

©Copyright 1998 Springer