Parallel distributed processing: explorations in the microstructure of cognition, vol. 2: psychological and biological models
SOAR: an architecture for general intelligence
Artificial Intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Neural Computation
The importance of cognitive architectures: an analysis based on CLARION
Journal of Experimental & Theoretical Artificial Intelligence
Handbook of Practical Logic and Automated Reasoning
Handbook of Practical Logic and Automated Reasoning
From NARS to a Thinking Machine
Proceedings of the 2007 conference on Advances in Artificial General Intelligence: Concepts, Architectures and Algorithms: Proceedings of the AGI Workshop 2006
Reasoning Processes in Propositional Logic
Journal of Logic, Language and Information
A review of long-term memory in natural and synthetic systems
Adaptive Behavior - Animals, Animats, Software Agents, Robots, Adaptive Systems
Perception processing for general intelligence: bridging the symbolic/subsymbolic gap
AGI'12 Proceedings of the 5th international conference on Artificial General Intelligence
Transparent neural networks: integrating concept formation and reasoning
AGI'12 Proceedings of the 5th international conference on Artificial General Intelligence
Reasoning About Truth in First-Order Logic
Journal of Logic, Language and Information
Hi-index | 0.00 |
This paper proposes a cognitive architecture based on Kahneman's dual process theory [1]. The long-term memory is modeled as a transparent neural network that develops autonomously by interacting with the environment. The working memory is modeled as a buffer containing nodes of the long-term memory. Computations are defined as processes in which working memory content is transformed according to rules that are stored in the long-term memory. In this architecture, symbolic and subsymbolic reasoning steps can be combined and resource-bounded computations can be defined ranging from formal proofs to association chains.