Abstract
Computational cognitive modeling investigates human cognition by building detailed computational models for cognitive processes. Adaptive Control of Thought – Rational (ACT-R) is a rule-based cognitive architecture that offers a widely employed framework to build such models. There is a sound and complete embedding of ACT-R in Constraint Handling Rules (CHR). Therefore analysis techniques from CHR can be used to reason about computational properties of ACT-R models. For example, confluence is the property that a program yields the same result for the same input regardless of the rules that are applied.
In ACT-R models, there are often cognitive processes that should always yield the same result while others e.g. implement strategies to solve a problem that could yield different results. In this paper, a decidable confluence criterion for ACT-R is presented. It allows to identify ACT-R rules that are not confluent. Thereby, the modeler can check if his model has the desired behavior.
The sound and complete translation of ACT-R to CHR from prior work is used to come up with a suitable invariant-based confluence criterion from the CHR literature. Proper invariants for translated ACT-R models are identified and proven to be decidable. The presented method coincides with confluence of the original ACT-R models.
Keywords
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
Albrecht, R., Westphal, B.: Analysing psychological theories with F-ACT-R. In: Proceedings of the 12th Biannual conference of the German cognitive science society (Gesellschaft für Kognitionswissenschaft). Cognitive Processing, vol. 15(Suppl. 1), pp. 27–28. Springer (2014)
Albrecht, R., Westphal, B.: F-ACT-R: defining the ACT-R architectural space. In: Proceedings of the 12th Biannual conference of the German cognitive science society (Gesellschaft für Kognitionswissenschaft). Cognitive Processing, vol. 15(Suppl. 1), pp. 79–81. Springer (2014)
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)
Bothell, D.: ACT-R 6.0 Reference Manual - Working Draft. Department of Psychology, Carnegie Mellon University, Pittsburgh, PA
Christiansen, H., Kirkeby, M.H.: On proving confluence modulo equivalence for Constraint Handling Rules. Formal Aspects Comput. 29(1), 57–95 (2017). http://dx.doi.org/10.1007/s00165-016-0396-9
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). doi:10.1007/978-3-540-74610-2_16
Frühwirth, T.: Constraint Handling Rules. Cambridge University Press, New York (2009)
Gall, D., Frühwirth, T.: An Operational Semantics for the Cognitive Architecture ACT-R and its Translation to Constraint Handling Rules. ArXiv e-prints, February 2017. http://arxiv.org/abs/1702.01606
Gall, D., Frühwirth, T.: Translation of cognitive models from ACT-R to Constraint Handling Rules. In: Alferes, J.J.J., Bertossi, L., Governatori, G., Fodor, P., Roman, D. (eds.) RuleML 2016. LNCS, vol. 9718, pp. 223–237. Springer, Cham (2016). doi:10.1007/978-3-319-42019-6_15
Raiser, F.: Graph transformation systems in CHR. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 240–254. Springer, Heidelberg (2007). doi:10.1007/978-3-540-74610-2_17
Raiser, F.: Graph Transformation Systems in Constraint Handling Rules: Improved Methods for Program Analysis. Ph.D. thesis, Ulm University, Germany (2010). http://dx.doi.org/10.18725/OPARU-1742
Raiser, F., Betz, H., Frühwirth, T.: Equivalence of CHR states revisited. In: Raiser, F., Sneyers, J. (eds.) 6th International Workshop on Constraint Handling Rules (CHR), pp. 33–48. KULCW, Technical report CW 555, July 2009
Raiser, F., Frühwirth, T.: Analysing graph transformation systems through Constraint Handling Rules. Theory Pract. Logic Program. 11(1), 65–109 (2011)
Said, N., Engelhart, M., Kirches, C., Körkel, S., Holt, D.V.: Applying mathematical optimization methods to an ACT-R instance-based learning model. PLoS ONE 11(7), e0158832 (2016)
Sun, R.: Introduction to computational cognitive modeling. In: Sun, R. (ed.) The Cambridge Handbook of Computational Psychology, pp. 3–19. Cambridge University Press, New York (2008)
Taatgen, N.A., Lebiere, C., Anderson, J.: Modeling paradigms in ACT-R. In: Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation, pp. 29–52. Cambridge University Press (2006)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Gall, D., Frühwirth, T. (2017). A Decidable Confluence Test for Cognitive Models in ACT-R. In: Costantini, S., Franconi, E., Van Woensel, W., Kontchakov, R., Sadri, F., Roman, D. (eds) Rules and Reasoning. RuleML+RR 2017. Lecture Notes in Computer Science(), vol 10364. Springer, Cham. https://doi.org/10.1007/978-3-319-61252-2_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-61252-2_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-61251-5
Online ISBN: 978-3-319-61252-2
eBook Packages: Computer ScienceComputer Science (R0)