Probability is more powerful than team for language identification from positive data

A team of learning machines is essentially a multiset of learning machines. A team is said to successfully identify a concept just in case each member of some nonempty subset of the team identifies the concept. The ratio between the minimum number of team members required to be successful to the cardinality of the team is referred to as the success ratio of the team identification criteria. Team identification of programs for computable functions from their graphs haa been investigated by Smith. Pitt showed that this notion is essentially equivalent to function identification by a single probabilistic machine. As a consequence of this equivalence, it was shown by Pitt and Smith that introducing redundancy in a team does not yield any extra function learning power. The present paper studies the more difficult subject of probabilistic and team identification of grammars for languages from positive data. Earlier results had established that for team success ratio 1/2, redundancy helps in certain cases. Results in the present paper complete the picture for team success ratio 1/2 and show that probabilistic identification with probability of success at least 1/2 is strictly more powerful than team identification with success ratio 1/2. With a view h cope with the complexity of diagonalization ar~ents, a general tool is presented that ykdds new diagonalization results from simple arithmetic manipulation of the parameters of known results. Employing this tool on results about success ratio 1/2, it is shown that for k > 2, probabilistic idenPermission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of the publication and its date appear, and not!ce IS given that copying is by permission of the Association for Computing Machinery. To copy otherwise, or to republish, requires a fee and/or specific permission. ACM COLT ’93 171931CA, USA @ 1993 ACM 0-89791-61 1-5/93 /0007 /0192 . ..$l .50 tification with probability of success at least 1/k is strictly more powerful than team identification with success ratio l/k. Additionally, several new general results are obtained using this tool. It is also observed that for identification of languages from both positive and negative data, probabilistic learning and team learning are equivalent.

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

[2]  Mark A. Fulk Prudence and Other Conditions on Formal Language Learning , 1990, Inf. Comput..

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

[4]  Hartley Rogers,et al.  Gödel numberings of partial recursive functions , 1958, Journal of Symbolic Logic.

[5]  Jr. Hartley Rogers Theory of Recursive Functions and Effective Computability , 1969 .

[6]  Leonard Pitt,et al.  A Characterization of Probabilistic Inference , 1984, FOCS.

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

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

[9]  R. V. Freivald Functions Computable in the Limit by Probabilistic Machines , 1974, MFCS.

[10]  Mark A. Fulk A study of inductive inference machines , 1986 .

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

[12]  John T. Gill,et al.  Computational complexity of probabilistic Turing machines , 1974, STOC '74.

[13]  Arun Sharma,et al.  Finite learning by a “team” , 1990, COLT '90.

[14]  Leonard Pitt,et al.  Relations between probabilistic and team one-shot learners (extended abstract) , 1991, COLT '91.

[15]  Mahendran Velauthapillai Inductive inference with bounded number of mind changes , 1989, COLT '89.

[16]  Daniel N. Osherson,et al.  Aggregating Inductive Expertise , 1986, Inf. Control..

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

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