A Connectionist-Symbolic Cognitive Model

This paper describes a formal model for the cognitive activity, which is an instantiation of a more general proposal for a research line in artificial intelligence. The main contribution of the paper is the specification of a wave propagation model that performs inference in predicate logic without quantifiers through an interference mechanism. The model is highly parallel, and is flexible enough to be extended, in a natural way, to simulate first-order logic, fuzzy logic, four-valued logic, and uncertain reasoning. The model is part of an architecture integrating neural networks and symbolic reasoning to simulate cognitive activities.

[1]  Marvin Minsky,et al.  Perceptrons: An Introduction to Computational Geometry , 1969 .

[2]  K. Pribram.  Languages of the Brain: Experimental Paradoxes and Principles in Neuropsychology , 1971 .

[3]  Nils J. Nilsson,et al.  Logic and Artificial Intelligence , 1991, Artif. Intell..

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

[5]  David Kirsh,et al.  Foundations of AI: The Big Issues , 1991, Artif. Intell..

[6]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[7]  Paul Smolensky,et al.  Tensor Product Variable Binding and the Representation of Symbolic Structures in Connectionist Systems , 1990, Artif. Intell..

[8]  Donald A. Norman,et al.  Approaches to the Study of Intelligence , 1991, Artif. Intell..

[9]  Allen Newell,et al.  Computer science as empirical inquiry: symbols and search , 1976, CACM.

[10]  R. A. Brooks,et al.  Intelligence without Representation , 1991, Artif. Intell..

[11]  James L. McClelland,et al.  Parallel Distributed Processing: Explorations in the Microstructure of Cognition : Psychological and Biological Models , 1986 .

[12]  Lawrence Birnbaum,et al.  Rigor Mortis: A Response to Nilsson's "Logic and Artificial Intelligence" , 1991, Artif. Intell..

[13]  Donald Michie,et al.  Machine Intelligence 4 , 1970 .

[14]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[15]  David Kirsh,et al.  Today the Earwig, Tomorrow Man? , 1991, Artif. Intell..