Abstract
The cognitive architecture ACT-R is very popular in cognitive sciences. It merges well-investigated results of psychology to a unified model of cognition. This enables researchers to implement and execute domain-specific cognitive models. ACT-R is implemented as a production rule system. Although its underlying psychological theory has been investigated in many psychological experiments, ACT-R lacks a formal definition from a mathematical-computational point of view.
In this paper, we present a formalization of ACT-R’s fundamental concepts including an operational semantics of the core features of its production rule system. The semantics abstracts from technical artifacts of the implementation. Due to its abstract formulation, the semantics is eligible for analysis. To the best of our knowledge, this operational semantics is the first of its kind.
Furthermore, we show a formal translation of ACT-R production rules to Constraint Handling Rules (CHR) and prove soundness and completeness of the translation mechanism according to our operational semantics.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
The ACT-R 6.0 tutorial. http://act-r.psy.cmu.edu/actr6/units.zip, http://act-r.psy.cmu.edu/actr6/units.zip (2012)
Abdennadher, S., Frühwirth, T.: On Completion of Constraint Handling Rules. In: Maher, Michael J., Puget, Jean-François (eds.) CP 1998. LNCS, vol. 1520, p. 25. Springer, Heidelberg (1998)
Anderson, J.R.: How can the human mind occur in the physical universe? Oxford University Press, Oxford (2007)
Anderson, J.R., Bothell, D., Byrne, M.D., Douglass, S., Lebiere, C., Qin, Y.: An integrated theory of the mind. Psychol. Rev. 111(4), 1036–1060 (2004)
Bistarelli, S., Frühwirth, T., Marte, M.: Soft constraint propagation and solving in CHRs. In: Proceedings of the 2002 ACM symposium on Applied computing. pp. 1–5. ACM (2002)
Bothell, D.: ACT-R 6.0 Reference Manual - Working Draft. Department of Psychology, Carnegie Mellon University, Pittsburgh, Pennsylvania 15213
Duck, G.J., Stuckey, P.J., Sulzmann, M.: Observable Confluence for Constraint Handling Rules. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 224–239. Springer, Heidelberg (2007)
Frühwirth, T.: Constraint Handling Rules. Cambridge University Press, Cambridge (2009)
Frühwirth, T., Abdennadher, S.: Essentials of Constraint Programming. Springer, Berlin (2003)
Gall, D.: A rule-based implementation of ACT-R using Constraint Handling Rules. Master Thesis, Ulm University (2013)
Gall, D., Frühwirth, T.: Exchanging conflict resolution in an adaptable implementation of ACT-R. Theor. Pract. Logic Program. 14(4–5), 525–538 (2014)
Taatgen, N.A., Lebiere, C., Anderson, J.: Modeling paradigms in ACT-R. Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation. Cambridge University Press, Cambridge (2006)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Gall, D., Frühwirth, T. (2015). A Formal Semantics for the Cognitive Architecture ACT-R. In: Proietti, M., Seki, H. (eds) Logic-Based Program Synthesis and Transformation. LOPSTR 2014. Lecture Notes in Computer Science(), vol 8981. Springer, Cham. https://doi.org/10.1007/978-3-319-17822-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-17822-6_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-17821-9
Online ISBN: 978-3-319-17822-6
eBook Packages: Computer ScienceComputer Science (R0)