May 17, 2016 2:10:52 PM
New CS Department
Stony Brook, NY
Jul 6, 2016 4:30 PM
Jul 6, 2016 5:00 PM
A paper by Daniel Gall and Thom Frühwirth (Ulm University)
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.