Trading Monotonicity Demands versus Eciency

The present paper deals with the learnability of indexed families L of uniformly recursive languages from positive data. We consider the in uence of three monotonicity demands and their dual counterparts to the e ciency of the learning process. The e ciency of learning is measured in dependence on the number of mind changes a learning algorithm is allowed to perform. The three notions of (dual) monotonicity re ect different formalizations of the requirement that the learner has to produce better and better (specializations) generalizations when fed more and more data on the target concept. We distinguish between exact learnability (L has to be inferred with respect to L), class preserving learning (L has to be inferred with respect to some suitably chosen enumeration of all the languages from L), and class comprising inference (L has to be learned with respect to some suitably chosen enumeration of uniformly recursive languages containing at least all the languages from L). In particular, we prove that a relaxation of the relevant (dual) monotonicity requirement may result in an arbitrarily large speed-up. However, whether or not such a speed-up may be achieved crucially depends on the set of allowed hypothesis spaces as well as of the (dual) monotonicity demands involved.

[1]  John Case,et al.  Machine Inductive Inference and Language Identification , 1982, ICALP.

[2]  John Case,et al.  Comparison of Identification Criteria for Machine Inductive Inference , 1983, Theor. Comput. Sci..

[3]  Jeffrey D. Ullman,et al.  Formal languages and their relation to automata , 1969, Addison-Wesley series in computer science and information processing.

[4]  Takeshi Shinohara Inductive inference from positive data is powerful , 1990, COLT '90.

[5]  Klaus P. Jantke Proceedings of the International Workshop on Analogical and Inductive Inference , 1986 .

[6]  John Case The power of vacillation , 1988, COLT '88.

[7]  Yasuhito Mukouchi,et al.  Inductive Inference with Bounded Mind Changes , 1992, ALT.

[8]  Steffen Lange The representation of recursive languages and its impact on the efficiency of learning , 1994, COLT '94.

[9]  Daniel N. Osherson,et al.  Systems That Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists , 1990 .

[10]  Thomas Zeugmann,et al.  Monotonic and Dual Monotonic Language Learning , 1996, Theor. Comput. Sci..

[11]  Carl H. Smith,et al.  Inductive Inference: Theory and Methods , 1983, CSUR.

[12]  Yasuhito Mukouchi,et al.  INDUCTIVE INFERENCE OF RECURSIVE CONCEPTS , 1994 .

[13]  William I. Gasarch,et al.  Asking Questions Versus Verifiability , 1997, Fundam. Informaticae.

[14]  Gianfranco Bilardi,et al.  Language Learning Without Overgeneralization , 1992, Theor. Comput. Sci..

[15]  Thomas Zeugmann,et al.  Language learning in dependence on the space of hypotheses , 1993, COLT '93.

[16]  Shyam Kapur,et al.  Monotonic Language Learning , 1992, ALT.

[17]  Gerhard Brewka,et al.  Nonmonotonic Reasoning: Logical Foundations of Commonsense By Gerhard Brewka (Cambridge University Press, 1991) , 1991, SGAR.

[18]  Rolf Wiehagen,et al.  Ignoring data may be the only way to learn efficiently , 1994, J. Exp. Theor. Artif. Intell..

[19]  Thomas Zeugmann,et al.  A Guided Tour Across the Boundaries of Learning Recursive Languages , 1995, GOSLER Final Report.

[20]  Rolf Wiehagen A Thesis in Inductive Inference , 1990, Nonmonotonic and Inductive Logic.

[21]  Efim B. Kinber Monotonicity versus Efficiency for Learning Languages from Texts , 1994, AII/ALT.

[22]  Dana Angluin,et al.  Finding Patterns Common to a Set of Strings , 1980, J. Comput. Syst. Sci..

[23]  Dana Angluin,et al.  Inductive Inference of Formal Languages from Positive Data , 1980, Inf. Control..

[24]  Thomas Zeugmann,et al.  Learning Recursive Languages with Bounded Mind Changes , 1993, Int. J. Found. Comput. Sci..

[25]  Rusins Freivalds,et al.  On the Power of Probabilistic Strategies in Inductive Inference , 1984, Theor. Comput. Sci..

[26]  Thomas Zeugmann,et al.  Types of monotonic language learning and their characterization , 1992, COLT '92.

[27]  Paul Young,et al.  An introduction to the general theory of algorithms , 1978 .