A Formal Semantics for the Cognitive Architecture ACT-R.
Daniel GallThom W. FrühwirthPublished in: LOPSTR (2014)
Keyphrases
- cognitive architecture
- formal semantics
- computational model
- information processing
- cognitive model
- working memory
- cognitive architectures
- intelligent behavior
- logical language
- general intelligence
- cognitive modeling
- symbolic representation
- speech acts
- robotic systems
- modeling language
- computational models
- first order logic
- information foraging
- knowledge structures
- human cognition
- episodic memory
- tour guide robot
- mental imagery
- cognitive models
- theorem prover
- human level
- intelligent systems
- natural language
- knowledge base
- information systems
- artificial intelligence