Cognitive architectures are used to abstract and simplify the process of computational cognitive modeling. The popular cognitive architecture ACT-R has a well-defined psychological theory, but lacks a formalization of its computational system. This inhibits computational analysis of cognitive models, e.g. confluence or complexity analysis. In this paper we present a source to source transformation of ACT-R models to Constraint Handling Rules (CHR) programs enabling the use of analysis tools for CHR to analyze computational cognitive models. This translation is the first that matches the current abstract operational semantics of ACT-R.
CITATION STYLE
Gall, D., & Frühwirth, T. (2016). Translation of cognitive models from ACT-R to constraint handling rules. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9718, pp. 223–237). Springer Verlag. https://doi.org/10.1007/978-3-319-42019-6_15
Mendeley helps you to discover research relevant for your work.