An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules.
Daniel GallThom W. FrühwirthPublished in: ACM Trans. Comput. Log. (2018)
Keyphrases
- cognitive architecture
- operational semantics
- constraint handling rules
- computational model
- formal semantics
- information processing
- mental states
- working memory
- cognitive model
- intelligent behavior
- general intelligence
- symbolic representation
- knowledge structures
- computational models
- episodic memory
- cognitive architectures
- robotic systems
- information foraging
- cognitive models
- machine translation
- mental imagery
- data model
- cognitive modeling
- tour guide robot
- artificial intelligence
- database
- data mining
- human cognition
- machine learning
- software engineering
- artificial neural networks
- knowledge base