Non-U-shaped vacillatory and team learning

U-shaped learning behaviour in cognitive development involves learning, unlearning and relearning. It occurs, for example, in learning irregular verbs. The prior cognitive science literature is occupied with how humans do it, for example, general rules versus tables of exceptions. This paper is mostly concerned with whether U-shaped learning behaviour may be necessary in the abstract mathematical setting of inductive inference, that is, in the computational learning theory following the framework of Gold. All notions considered are learning from text, that is, from positive data. Previous work showed that U-shaped learning behaviour is necessary for behaviourally correct learning but not for syntactically convergent, learning in the limit (= explanatory learning). The present paper establishes the necessity for the hierarchy of classes of vacillatory learning where a behaviourally correct learner has to satisfy the additional constraint that it vacillates in the limit between at most b grammars, where [email protected]?{2,3,...,*}. Non-U-shaped vacillatory learning is shown to be restrictive: every non-U-shaped vacillatorily learnable class is already learnable in the limit. Furthermore, if vacillatory learning with the parameter b=2 is possible then non-U-shaped behaviourally correct learning is also possible. But for b=3, surprisingly, there is a class witnessing that this implication fails.