Robust separations in inductive inference

  • Authors:
  • M. A. Fulk

  • Affiliations:
  • Rochester Univ., NY, USA

  • Venue:
  • SFCS '90 Proceedings of the 31st Annual Symposium on Foundations of Computer Science
  • Year:
  • 1990

Quantified Score

Hi-index 0.00

Visualization

Abstract

Results in recursion-theoretic inductive inference have been criticized as depending on unrealistic self-referential examples. J.M. Barzdin (1974) proposed a way of ruling out such examples and conjectured that one of the earliest results of inductive inference theory would fall if his method were used. The author refutes Barzdin's conjecture and proposes a new line of research examining robust separations which are defined using a strengthening of Barzdin's original idea. Preliminary results are presented, and the most important open problem is stated as a conjecture. The extension of this work from function learning to formal language learning is discussed.