Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abdennadher, S., Frühwirth, T.: Operational equivalence of CHR programs and constraints. In: Jaffar, J. (ed.) CP 1999. LNCS, vol. 1713, pp. 43–57. Springer, Heidelberg (1999)
Abdennadher, S., Frühwirth, T., Meuss, H.: On confluence of constraint handling rules. In: Freuder, E.C. (ed.) Principles and Practice of Constraint Programming CP96. Lecture Notes in Computer Science, vol. 1118, pp. 1–15. Springer, Berlin Heidelberg (1996)
Albrecht, R., Gießwein, M., Westphal, B.: Towards formally founded ACT-R simulation and analysis. In: Proceedings of the 12th Biannual Conference of the German Cognitive Science Society (Gesellschaft für Kognitionswissenschaft), vol. 15 (Suppl. 1), Cognitive Processing, 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), vol. 15 (Suppl. 1), Cognitive Processing, 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)
Betz, H., Raiser, F., Frühwirth, T.: A complete and terminating execution model for constraint handling rules. Theor. Pract. Logic Program. 10, 597–610 (2010)
Bothell, D.: ACT-R 6.0 Reference Manual - Working Draft. Department of Psychology, Carnegie Mellon University, Pittsburgh, PA
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.: As time goes by: automatic complexity analysis of simplification rules. In: Fensel, D., Giunchiglia, F., McGuinness, D., Williams, M.A. (eds.) KR 2002: Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning, pp. 547–557, April 2002
Frühwirth, T.: Constraint Handling Rules. Cambridge University Press, Cambridge (2009)
Frühwirth, T.: Constraint handling rules - what else? In: Bassiliades, N., Gottlob, G., Sadri, F., Paschke, A., Roman, D. (eds.) RuleML 2015. LNCS, vol. 9202, pp. 13–34. Springer, Heidelberg (2015)
Gall, D., Frühwirth, T.: Exchanging conflict resolution in an adaptable implementation of ACT-R. Theor. Pract. Logic Program. 14, 525–538 (2014)
Gall, D., Frühwirth, T.: A formal semantics for the cognitive architecture ACT-R. In: Proietti, M., Seki, H. (eds.) LOPSTR 2014. LNCS, vol. 8981, pp. 74–91. Springer, Heidelberg (2015)
Gall, D., Frühwirth, T.: A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations. In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015, pp. 114–124. ACM, New York (2015)
Langbein, J., Raiser, F., Frühwirth, T.: A state equivalence and confluence checker for CHR. In: Van Weert, P., De Koninck, L. (eds.) CHR 2010. K.U.Leuven, Department of Computer Science, Technical report CW 588, July 2010
Raiser, F., Frühwirth, T.: Analysing graph transformation systems through constraint handling rules. Theor. Pract. Logic Program. 11(1), 65–109 (2011)
van Rooij, I., Wright, C.D., Wareham, T.: Intractability and the use of heuristics in psychological explanations. Synthese 187(2), 471–487 (2012)
Salvucci, D.: ACT-R: The Java Simulation & Development Environment. http://cog.cs.drexel.edu/act-r/
Stewart, T.C., West, R.L.: Deconstructing and reconstructing ACT-R: exploring the architectural space. Cogn. Syst. Res. 8(3), 227–236 (2007)
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
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Gall, D., Frühwirth, T. (2016). Translation of Cognitive Models from ACT-R to Constraint Handling Rules. In: Alferes, J., Bertossi, L., Governatori, G., Fodor, P., Roman, D. (eds) Rule Technologies. Research, Tools, and Applications. RuleML 2016. Lecture Notes in Computer Science(), vol 9718. Springer, Cham. https://doi.org/10.1007/978-3-319-42019-6_15
Download citation
DOI: https://doi.org/10.1007/978-3-319-42019-6_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-42018-9
Online ISBN: 978-3-319-42019-6
eBook Packages: Computer ScienceComputer Science (R0)