In this paper, we present an algorithm for generating test purpose descriptions in form of MSC’s from a given labeled event structure that represents the behavior of a system of asynchronously communicating extended finite state machines. The labeled event structure is a non-interleaving behavior model describing the behavior of a system in terms of the partial ordering of events.

It has been repeatedly debated which strategies people rely on in inference. These debates have been difficult to resolve, partially because hypotheses about the decision processes assumed by these strategies have typically been formulated qualitatively, making it hard to test precise quantitative predictions about response times and other behavioral data. One way to increase the precision of s...

Previous research has identified a variety of strategies used by novice and experienced navigators in making cardinal direction judgments (Gugerty, Brooks, & Treadaway, 2004). We developed an ACT-R cognitive model of some of these strategies that instantiated a number of concepts from research in spatial cognition, including a visual-short-term-memory buffer overlaid on a perceptual buffer, an ...

This is a vignette for the R package CARBayes version 4, and is an updated version of a paper in the Journal of Statistical Software in 2013 Volume 55 Issue 13 with the same title and author. This vignette is required because CARBayes has been updated both in terms of syntax and functionality since the paper appeared in the Journal of Statistical Software.

A new interpretation for the results of several experiments carried out using the Gambling Task paradigm is presented that differs from that put forward by Damasio (1994). While Damasio grounds his analysis on the somatic markers hypothesis, we propose a perspective based on the functional integration of emotion with memory that is sympathetic with the view of the prefrontal cortex endorsed by ...

This paper presents a cognitive model of a subliminal priming task, using Retrieval by ACcumulating Evidence (RACE), a model of declarative memory retrieval. RACE is implemented as an extension to the ACT-R architecture of cognition. First, we will discuss the exact implementation of RACE within the constraints imposed by ACT-R. Second, we will discuss the subliminal priming task that we modele...

The current research sought to construct a computational model of human navigation for virtual three dimensional environments. The model was implemented within the ACT-R cognitive architecture [1]. The navigation model incorporates visual search, encoding object features and spatial relationships, motion, obstacle avoidance, and incidental visual memory.

We present a cognitive model performing the Dynamic Stocks&Flows control task, in which subjects control a system by counteracting a systematically changing external variable. The model uses a metacognitive layer that chooses a task strategy drawn from of two classes of strategies: precise calculation and imprecise estimation. The model, formulated within the ACT-R theory, monitors the success ...

Research has shown that students’ problem-solving actions vary in type and duration. Among other causes, this behavior is a result of strategies that are driven by different goals. We describe a first version of a computational cognitive model that explains the origin of these strategies and identifies the tendencies of students towards different learning goals. Our model takes into account (i)...