Probabilistic Language Learning Under Monotonicity Constraints

The present paper deals with probabilistic identification of indexed families of uniformly recursive languages from positive data under various monotonicity constraints. Thereby, we consider strong-monotonic, monotonic and weak-monotonic probabilistic learning of indexed families with respect to class comprising, class preserving and exact hypothesis spaces and investigate the probabilistic hierarchies of these learning models. Earlier results in the field of probabilistic identification established that — considering function identification — each collection of recursive functions identifiable with probability p}>1/2 is deterministically identifiable (cf. [16]). In the case of language learning from text, each collection of recursive languages identifiable from text with probability p}>2/3 is deterministically identifiable (cf. [14]), but when dealing with the learning models mentioned above, we obtain probabilistic hierarchies highly structured without a “gap” between the probabilistic and deterministic learning classes. In the case of exact probabilistic learning, we are able to show the probabilistic hierarchy to be dense for every mentioned monotonicity condition. Considering class preserving weak-monotonic and monotonic probabilistic learning, we show the respective probabilistic hierarchies to be strictly decreasing for probability p→1, p}<1. These results extend previous work considerably (cf. [16], [17]). For class comprising weak-monotonic learning as well as for learning without additional constraints, we can prove that probabilistic identification and team identification are equivalent. This yields discrete probabilistic hierarchies in these cases.

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

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

[3]  K. Wexler The Subset Principle is an Intensional Principle , 1993 .

[4]  Carl H. Smith,et al.  Probability and Plurality for Aggregations of Learning Machines , 1988, Inf. Comput..

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

[6]  Thomas Zeugmann,et al.  Two Variations of Inductive Inference of Languages from Positive Data , 1995 .

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

[8]  Rolf Wiehagen,et al.  Learning and Consistency , 1995, GOSLER Final Report.

[9]  Gianfranco Bilardi,et al.  Language learning from stochastic input , 1992, COLT '92.

[10]  Stuart A. Kurtz,et al.  Extremes in the Degrees of Inferability , 1994, Ann. Pure Appl. Log..

[11]  Bala Kalyanasundaram,et al.  Breaking the probability ½ barrier in FIN-type learning , 1992, COLT '92.

[12]  守屋 悦朗,et al.  J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .

[13]  Thomas Zeugmann,et al.  One-Sided Error Probabilistic Inductive Inference and Reliable Frequency Identification , 1991, Inf. Comput..

[14]  Leslie G. Valiant,et al.  A theory of the learnable , 1984, STOC '84.

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

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

[17]  E. Mark Gold,et al.  Language Identification in the Limit , 1967, Inf. Control..

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

[19]  Manuel Blum,et al.  A Machine-Independent Theory of the Complexity of Recursive Functions , 1967, JACM.

[20]  Thomas Zeugmann,et al.  Characterizations of Monotonic and Dual Monotonic Language Learning , 1995, Inf. Comput..

[21]  Takeshi Shinohara,et al.  Polynomial Time Inference of Extended Regular Pattern Languages , 1983, RIMS Symposium on Software Science and Engineering.

[22]  Carl H. Smith,et al.  The Power of Pluralism for Automatic Program Synthesis , 1982, JACM.

[23]  Andris Ambainis Probabilistic and team PFIN-type learning: general properties , 1996, COLT '96.

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

[25]  Steffen Lange,et al.  Algorithmic Learning for Knowledge-Based Systems , 1995, Lecture Notes in Computer Science.

[26]  Rolf Wiehagen,et al.  Identification of Formal Languages , 1977, MFCS.

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

[28]  Rusins Freivalds,et al.  Probabilistic Versus Deterministic Inductive Inference in Nonstandard Numberings , 1988, Math. Log. Q..

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

[30]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[31]  Robert P. Daley On the Error Correcting Power of Pluralism in BC-Type Inductive Inference , 1983, Theoretical Computer Science.

[32]  Arun Sharma,et al.  On Aggregating Teams of Learning Machines , 1995, Theor. Comput. Sci..

[33]  Bala Kalyanasundaram,et al.  The power of probabilism in Popperian FINite learning , 1994, J. Exp. Theor. Artif. Intell..

[34]  Robert C. Berwick,et al.  The acquisition of syntactic knowledge , 1985 .

[35]  Bala Kalyanasundaram,et al.  Use of Reduction Arguments in Determining Popperian FIN-Type Learning Capabilities , 1993, ALT.

[36]  Thomas Zeugmann,et al.  Monotonic Versus Nonmonotonic Language Learning , 1991, Nonmonotonic and Inductive Logic.

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

[38]  Arun Sharma,et al.  On Monotonic Strategies for Learning r.e. Languages , 1994, AII/ALT.

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

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

[41]  Leonard Pitt,et al.  Probabilistic inductive inference , 1989, JACM.

[42]  Manuel Blum,et al.  Toward a Mathematical Theory of Inductive Inference , 1975, Inf. Control..

[43]  Carl H. Smith,et al.  Three Decades of Team Learning , 1994, AII/ALT.