Domain theory in learning processes

Abstract We present applications of domain theory in stochastic learning automata and in neural nets. We show that a basic probabilistic algorithm, the so-called linear reward-penalty scheme, for the binary-state stochastic learning automata can be modelled by the dynamics of an iterated function system on a probabilistic power domain and we compute the expected value of any continuous function in the learning process. We then consider a general class of, so-called forgetful, neural nets in which pattern learning takes place by a local iterative scheme, and we present a domain-theoretic framework for the distribution of synaptic couplings in these networks using the action of an iterated function system on a probabilistic power domain. We then obtain algorithms to compute the decay of the embedding strength of the stored patterns.

[1]  Abbas Edalat Domain theory in stochastic processes , 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.

[2]  Michael F. Barnsley,et al.  Fractals everywhere , 1988 .

[3]  Abbas Edalat,et al.  Domain of Computation of a Random Field in Statistical Physics , 1994, Theory and Formal Methods.

[4]  J. L. van Hemmen,et al.  Multifractality in forgetful memories , 1993 .

[5]  J. Elton An ergodic theorem for iterated maps , 1987, Ergodic Theory and Dynamical Systems.

[6]  K. Brown,et al.  Graduate Texts in Mathematics , 1982 .

[7]  J J Hopfield,et al.  Neural networks and physical systems with emergent collective computational abilities. , 1982, Proceedings of the National Academy of Sciences of the United States of America.

[8]  N. Saheb-Djahromi,et al.  CPO'S of Measures for Nondeterminism , 1980, Theor. Comput. Sci..

[9]  Dietmar Saupe,et al.  Rendering Methods for Iterated Function Systems , 1991 .

[10]  S. Lakshmivarahan,et al.  Learning Algorithms Theory and Applications , 1981 .

[11]  Marc Mézard,et al.  Solvable models of working memories , 1986 .

[12]  J J Hopfield,et al.  Neurons with graded response have collective computational properties like those of two-state neurons. , 1984, Proceedings of the National Academy of Sciences of the United States of America.

[13]  S. Karlin Some random walks arising in learning models. I. , 1953 .

[14]  Tommy Norberg Existence theorems for measures on continous posets, with applications to random set theory. , 1989 .

[15]  Abbas Edalat,et al.  Dynamical Systems, Measures and Fractals via Domain Theory , 1993, Inf. Comput..

[16]  C. Jones,et al.  A probabilistic powerdomain of evaluations , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[17]  J. L. Hemmen,et al.  Nonlinear neural networks. , 1986, Physical review letters.

[18]  Gordon D. Plotkin,et al.  A Powerdomain for Countable Non-Determinism (Extended Abstract) , 1982, ICALP.

[19]  Abbas Edalat,et al.  Power Domains and Iterated Function Systems , 1996, Inf. Comput..

[20]  J. Hemmen,et al.  Nonlinear neural networks. I. General theory , 1988 .

[21]  Stanislas Dehaene,et al.  Networks of Formal Neurons and Memory Palimpsests , 1986 .

[22]  Mark Ryan,et al.  Theory and Formal Methods 1993 , 1993, Workshops in Computing.