On Variable Binding in Connectionist Networks

This paper deals with the problem of variable binding in connectionist networks. Specifically, a more thorough solution to the variable binding problem based on the Discrete Neuron formalism is proposed and a number of issues arising in the solution are examined in relation to logic: consistency checking, binding generation, unification and functions. We analyze what is needed in order to resolve these issues and, based on this analysis, a procedure is developed for systematically setting up connectionist networks for variable binding based on logic rules. This solution compares favorably to similar solutions in simplicity and completeness.

[1]  I. Aleksander The logic of connectionist systems , 1989 .

[2]  James L. McClelland,et al.  Parallel distributed processing: explorations in the microstructure of cognition, vol. 1: foundations , 1986 .

[3]  Michael G. Dyer,et al.  High-level Inferencing in a Connectionist Network , 1989 .

[4]  I. Aleksander Logical connectionist systems , 1989 .

[5]  J. Fodor,et al.  Connectionism and cognitive architecture: A critical analysis , 1988, Cognition.

[6]  Lokendra Shastri A Connectionist Approach to Knowledge Representation and Limited Inference , 1988 .

[7]  Bart Kosko,et al.  Fuzzy Cognitive Maps , 1986, Int. J. Man Mach. Stud..

[8]  Ron Sun,et al.  Integrating Rules and Connectionism for Robust Reasoning , 1990, Dagstuhl Seminar on Parallelization in Inference Systems.

[9]  Richard C. T. Lee,et al.  Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[10]  Daniel Kahneman,et al.  Probabilistic reasoning , 1993 .

[11]  M. Posner Foundations of cognitive science , 1989 .

[12]  David L. Waltz,et al.  Neural networks and human intelligence: Ronald J. Macgregor. Neural and Brain Modeling. San Diego, CA: Academic Press, 1987. Pp. xii + 643. $95.00 (cloth), $ 37.50 (paper) , 1990 .

[13]  Jerome A. Feldman,et al.  Connectionist Models and Their Properties , 1982, Cogn. Sci..

[14]  Charles P. Dolan,et al.  Implementing a Connectionist Production System Using Tensor Products ; CU-CS-411-88 , 1988 .

[15]  Steven Pinker,et al.  On language and connectionism , 1988 .

[16]  Ron Sun,et al.  A connectionist model for commonsense reasoning incorporating rules and similarities , 1992 .

[17]  Y. Shoham Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence , 1987 .

[18]  James L. McClelland,et al.  James L. McClelland, David Rumelhart and the PDP Research Group, Parallel distributed processing: explorations in the microstructure of cognition . Vol. 1. Foundations . Vol. 2. Psychological and biological models . Cambridge MA: M.I.T. Press, 1987. , 1989, Journal of Child Language.

[19]  W. H. Wilson,et al.  A study of sequence processing of neural networks , 1989, International 1989 Joint Conference on Neural Networks.

[20]  Stephen I. Gallant,et al.  Connectionist expert systems , 1988, CACM.