Formal Specification of a Neuroscience-Inspired Cognitive Architecture.
Luis-Felipe RodríguezFélix RamosPublished in: Brain Informatics (2011)
Keyphrases
- formal specification
- cognitive architecture
- general intelligence
- cognitive psychology
- computational model
- model checking
- object oriented design
- cognitive model
- human cognition
- information processing
- working memory
- computational models
- process algebra
- formal methods
- reverse engineering
- cognitive architectures
- symbolic representation
- intelligent behavior
- information foraging
- human brain
- concurrent systems
- symbolic knowledge
- human level
- mental imagery
- knowledge structures
- episodic memory
- cognitive science
- data analysis
- cognitive processes
- robotic systems
- multi agent
- computer vision
- real world