Abstract Language learnability is investigated in the Gold paradigm of inductive inference from positive data. Angluin gave a characterization of learnable families in this framework. Here, learnability of families of recursive languages is studied when the learner obeys certain natural constraints. Exactly learnable families are characterized for prudent learners with the following types of constraints: 1. (0) conservative, 2. (1) conservative and consistent, 3. (2) conservative and responsive, and 4. (3) conservative, consistent and responsive. The class of learnable families is shown to strictly increase going from (3) to (2) and from (2) to (1), while it stays the same going from (1) to (0). It is also shown that, when exactness is not required, prudence, consistency and responsiveness, even together, do not restrict the power of conservative learners.
[1]
S. Kapur.
Computational Learning of Languages
,
1992
.
[2]
E. Mark Gold,et al.
Language Identification in the Limit
,
1967,
Inf. Control..
[3]
Dana Angluin,et al.
Finding Patterns Common to a Set of Strings
,
1980,
J. Comput. Syst. Sci..
[4]
Mark A. Fulk.
Prudence and Other Conditions on Formal Language Learning
,
1990,
Inf. Comput..
[5]
Dana Angluin,et al.
Inductive Inference of Formal Languages from Positive Data
,
1980,
Inf. Control..
[6]
Irene Mazurkewich,et al.
The acquisition of the dative alternation: Unlearning overgeneralizations
,
1984,
Cognition.
[7]
Robert C. Berwick,et al.
The acquisition of syntactic knowledge
,
1985
.