Learnability of Co-r.e. Classes
The object of investigation in this paper is the learnability of co-recursively enumerable (co-r.e.) languages based on Gold’s  original model of inductive inference. In particular, the following learning models are studied: finite learning, explanatory learning, vacillatory learning and behaviourally correct learning. The relative effects of imposing further learning constraints, such as conservativeness and prudence on these various learning models are also investigated. Moreover, an extension of Angluin’s  characterisation of identifiable indexed families of recursive languages to families of conservatively learnable co-r.e. classes is presented. In this connection, the paper considers the learnability of indexed families of recursive languages, uniformly co-r.e. classes as well as other general classes of co-r.e. languages. A containment hierarchy of co-r.e. learning models is thereby established; while this hierarchy is quite similar to its r.e. analogue, there are some surprising collapses when using a co-r.e. hypothesis space; for example vacillatory learning collapses to explanatory learning.
KeywordsInductive Inference Positive Instance Learnable Class Negative Instance Hypothesis Space
Unable to display preview. Download preview PDF.
- 3.Bārzdiņš, J., Freivalds, R.: On the prediction of general recursive functions. Soviet Mathematical Doklady 13, 1224–1228 (1972)Google Scholar
- 13.Jongh, D.D., Kanazawa, M.: Angluin’s theorem for indexed families of r.e. sets and applications. In: COLT, pp. 193–204 (1996)Google Scholar
- 19.Popper, K.R.: Conjectures and refutations: the growth of scientific knowledge. Routledge and Kegan Paul, London (1972)Google Scholar