Simulating teams with many conjectures

Abstract

This paper is concerned with the algorithmic learning where the learner is allowed to make finite but bounded number of mind changes. Briefly, in our learning paradigm, a learner is given examples from a recursive function, which the learner attempts to learn by producing programs to compute that function. We say that a team is successful if at least one member of the team learns the target function. The problem, given two teams with bounded number of learners and mind changes whether one team can provably learn more than the other team has been open for the last fifteen years. This paper makes significant progress toward a complete solution of this problem. In the case of error-free learning, this paper solves the open problem. Finally, in the case of EX learning our result shows that there is no team with a≥0 mind changes whose learning power is exactly equal to a single learner with bounded b(≠ a) number of mind changes. In the case of PEX learning we have a positive answer.