This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the (...) participants recursively model the mental states of other agents. Otherwise, an international negotiation may fail, even when it has potential for a win-win solution, and in a time-critical rescue mission, a software agent may depend on a teammate’s action that never materializes. First a survey is presented of past and current research on higher-order social cognition, from the various viewpoints of logic, artificial intelligence, and psychology. Do people actually reason about each other’s knowledge in the way proscribed by epistemic logic? And if not, how can logic and cognitive science productively work together to construct more realistic models of human reasoning about other minds? The paper ends with a delineation of possible avenues for future research, aiming to provide a better understanding of higher-order social reasoning. The methodology is based on a combination of experimental research, logic, computational cognitive models, and agent-based evolutionary models. (shrink)

We report the results of a dual-task study in which participants performed a tracking and typing task under various experimental conditions. An objective payoff function was used to provide explicit feedback on how participants should trade off performance between the tasks. Results show that participants’ dual-task interleaving strategy was sensitive to changes in the difficulty of the tracking task and resulted in differences in overall task performance. To test the hypothesis that people select strategies that maximize payoff, a Cognitively Bounded (...) Rational Analysis model was developed. This analysis evaluated a variety of dual-task interleaving strategies to identify the optimal strategy for maximizing payoff in each condition. The model predicts that the region of optimum performance is different between experimental conditions. The correspondence between human data and the prediction of the optimal strategy is found to be remarkably high across a number of performance measures. This suggests that participants were honing their behavior to maximize payoff. Limitations are discussed. (shrink)

Cognitive architectures are theories of cognition that try to capture the essential representations and mechanisms that underlie cognition. Research in cognitive architectures has gradually moved from a focus on the functional capabilities of architectures to the ability to model the details of human behavior, and, more recently, brain activity. Although there are many different architectures, they share many identical or similar mechanisms, permitting possible future convergence. In judging the quality of a particular cognitive model, it is pertinent to not just (...) judge its fit to the experimental data but also its simplicity and ability to make predictions. (shrink)

How do people interleave attention when multitasking? One dominant account is that the completion of a subtask serves as a cue to switch tasks. But what happens if switching solely at subtask boundaries led to poor performance? We report a study in which participants manually dialed a UK-style telephone number while driving a simulated vehicle. If the driver were to exclusively return his or her attention to driving after completing a subtask (i.e., using the single break in the xxxxx-xxxxxx representational (...) structure of the number), then we would expect to see a relatively poor driving performance. In contrast, our results show that drivers choose to return attention to steering control before the natural subtask boundary. A computational modeling analysis shows that drivers had to adopt this strategy to meet the required performance objective of maintaining an acceptable lateral position in the road while dialing. Taken together these results support the idea that people can strategically control the allocation of attention in multitask settings to meet specific performance criteria. (shrink)

The parameters governing our behavior are in constant flux, and capturing these dynamics in cognitive models remains a challenge. We demonstrate how a mapping between ACT‐R's model of declarative memory and the linear ballistic accumulator enables efficient estimation of memory parameters from data. The resulting estimates provide a cognitively meaningful explanation for observed differences in behavior over time and between individuals.

In this work, we evaluate the status of both theory and empirical evidence in the field of experimental rest-break research based on a framework that combines mental-chronometry and psychometric-measurement theory. To this end, we provide a taxonomy of rest breaks according to which empirical studies can be classified. Then, we evaluate the theorizing in both the basic and applied fields of research and explain how popular concepts relate to each other in contemporary theoretical debates. Here, we highlight differences between all (...) these models in the light of two symbolic categories, termed the resource-based and satiation-based model, including aspects related to the dynamics and the control mechanisms at work. Based on a critical assessment of existing methodological and theoretical approaches, we finally provide a set of guidelines for both theory building and future empirical approaches to the experimental study of rest breaks. We conclude that a psychometrically advanced and theoretically focused research of rest and recovery has the potential to finally provide a sound scientific basis to eventually mitigate the adverse effects of ever increasing task demands on performance and well-being in a multitasking world at work and leisure. (shrink)

A novel explanation of belief bias in relational reasoning is presented based on the role of working memory and retrieval in deductive reasoning, and the influence of prior knowledge on this process. It is proposed that belief bias is caused by the believability of a conclusion in working memory which influences its activation level, determining its likelihood of retrieval and therefore its effect on the reasoning process. This theory explores two main influences of belief on the activation levels of these (...) conclusions. First, believable conclusions have higher activation levels and so are more likely to be recalled during the evaluation of reasoning problems than unbelievable conclusions, and therefore, they have a greater influence on the reasoning process. Secondly, prior beliefs about the conclusion have a base level of activation and may be retrieved when logically irrelevant, influencing the evaluation of the problem. The theory of activation and memory is derived from the Atomic Components of Thought-Rational (ACT-R) cognitive architecture and so this account is formalized in an ACT-R cognitive model. Two experiments were conducted to test predictions of this model. Experiment 1 tested strength of belief and Experiment 2 tested the impact of a concurrent working memory load. Both of these manipulations increased the main effect of belief overall and in particular raised belief-based responding in indeterminately invalid problems. These effects support the idea that the activation level of conclusions formed during reasoning influences belief bias. This theory adds to current explanations of belief bias by providing a detailed specification of the role of working memory and how it is influenced by prior knowledge. (shrink)

This article discusses how sequential sampling models can be integrated in a cognitive architecture. The new theory Retrieval by Accumulating Evidence in an Architecture (RACE/A) combines the level of detail typically provided by sequential sampling models with the level of task complexity typically provided by cognitive architectures. We will use RACE/A to model data from two variants of a picture–word interference task in a psychological refractory period design. These models will demonstrate how RACE/A enables interactions between sequential sampling and long-term (...) declarative learning, and between sequential sampling and task control. In a traditional sequential sampling model, the onset of the process within the task is unclear, as is the number of sampling processes. RACE/A provides a theoretical basis for estimating the onset of sequential sampling processes during task execution and allows for easy modeling of multiple sequential sampling processes within a task. (shrink)

The parameters governing our behavior are in constant flux. Accurately capturing these dynamics in cognitive models poses a challenge to modelers. Here, we demonstrate a mapping of ACT-R's declarative memory onto the linear ballistic accumulator (LBA), a mathematical model describing a competition between evidence accumulation processes. We show that this mapping provides a method for inferring individual ACT-R parameters without requiring the modeler to build and fit an entire ACT-R model. Existing parameter estimation methods for the LBA can be used, (...) instead of the computationally expensive parameter sweeps that are traditionally done. We conduct a parameter recovery study to confirm that the LBA can recover ACT-R parameters from simulated data. Then, as a proof of concept, we use the LBA to estimate ACT-R parameters from an empirical dataset. The resulting parameter estimates provide a cognitively meaningful explanation for observed differences in behavior over time and between individuals. In addition, we find that the mapping between ACT-R and LBA lends a more concrete interpretation to ACT-R's latency factor parameter, namely as a measure of response caution. This work contributes to a growing movement towards integrating formal modeling approaches in cognitive science. (shrink)

Rumination is a process of uncontrolled, narrowly focused negative thinking that is often self-referential, and that is a hallmark of depression. Despite its importance, little is known about its cognitive mechanisms. Rumination can be thought of as a specific, constrained form of mind-wandering. Here, we introduce a cognitive model of rumination that we developed on the basis of our existing model of mind-wandering. The rumination model implements the hypothesis that rumination is caused by maladaptive habits of thought. These habits of (...) thought are modeled by adjusting the number of memory chunks and their associative structure, which changes the sequence of memories that are retrieved during mind-wandering, such that during rumination the same set of negative memories is retrieved repeatedly. The implementation of habits of thought was guided by empirical data from an experience sampling study in healthy and depressed participants. On the basis of this empirically derived memory structure, our model naturally predicts the declines in cognitive task performance that are typically observed in depressed patients. This study demonstrates how we can use cognitive models to better understand the cognitive mechanisms underlying rumination and depression. (shrink)

Van Vugt, van der Velde, and collaborators show how cognitive architectures can implement verbal theories of psychiatric problems. They show how one theory of depressive rumination can be implemented in the ACT‐R cognitive architecture by changing the contents of its simulated memory. These manipulations of memory habits lead the model to show impairments in a sustained attention task‐‐a plausible impairment given that people who suffer from depression have concentration complaints.

Allen Newell (1973) once observed that psychology researchers were playing “twenty questions with nature,” carving up human cognition into hundreds of individual phenomena but shying away from the difficult task of integrating these phenomena with unifying theories. We argue that research on cognitive control has followed a similar path, and that the best approach toward unifying theories of cognitive control is that proposed by Newell, namely developing theories in computational cognitive architectures. Threaded cognition, a recent theory developed within the ACT-R (...) cognitive architecture, offers promise as a unifying theory of cognitive control that addresses multitasking phenomena for both laboratory and applied task domains. (shrink)

Here we present a systematic plan to the experimental study of test–retest reliability in the multitasking domain, adopting the multitrait-multimethod approach to evaluate the psychometric properties of performance in Düker-type speeded multiple-act mental arithmetic. These form of tasks capacitate the experimental analysis of integrated multi-step processing by combining multiple mental operations in flexible ways in the service of the overarching goal of completing the task. A particular focus was on scoring methodology, particularly measures of response speed variability. To this end, (...) we present data of two experiments with regard to test–retest reliability, between-measures correlational structure, and stability. Finally, we compared participants with high versus low performance variability to assess ability-related differences in measurement precision, which is especially relevant in the applied fields of clinical neuropsychology. The participants performed two classic integrated multi-act arithmetic tasks, combining addition and verification and addition and comparison. The results revealed excellent test–retest reliability for the standard and the variability measures. The analysis of between-measures correlational structure revealed the typical pattern of convergent and discriminant relationships, and also, that absolute response speed variability was highly correlated with average speed, indicating that these measures mainly deliver redundant information. In contrast, speed-adjusted variability revealed discriminant validity being correlated to a much lesser degree with average speed, indicating that this measure delivers additional information not already provided by the speed measure. Furthermore, speed-adjusted variability was virtually unaffected by test–retest practice, which makes this measure interesting in situations with repeated testing. (shrink)

Complex problem solving is often an integration of perceptual processing and deliberate planning. But what balances these two processes, and how do novices differ from experts? We investigate the interplay between these two in the game of SET. This article investigates how people combine bottom-up visual processes and top-down planning to succeed in this game. Using combinatorial and mixed-effect regression analysis of eye-movement protocols and a cognitive model of a human player, we show that SET players deploy both bottom-up and (...) top-down processes in parallel to accomplish the same task. The combination of competition and cooperation of both types of processes is a major factor of success in the game. Finally, we explore strategies players use during the game. Our findings suggest that within-trial strategy shifts can occur without the need of explicit meta-cognitive control, but rather implicitly as a result of evolving memory activations. (shrink)

All forms of cognition, whether natural or artificial, are subject to constraints of their computing architecture. This assumption forms the tenet of virtually all general theories of cognition, including those deriving from bounded optimality and bounded rationality. In this letter, we highlight an unresolved puzzle related to this premise: what are these constraints, and why are cognitive architectures subject to cognitive constraints in the first place? First, we lay out some pieces along the puzzle edge, such as computational tradeoffs inherent (...) to neural architectures that give rise to rational bounds of cognition. We then outline critical next steps for characterizing cognitive bounds, proposing that some of these bounds can be subject to modification by cognition and, as such, are part of what is being optimized when cognitive agents decide how to allocate cognitive resources. We conclude that these emerging views may contribute to a more holistic perspective on the nature of cognitive bounds, as well as their alteration subject to cognition. (shrink)

In this commentary, I focus on the difference between processes and representations and how this distinction relates to the question of what is controlled. Despite some views that task switching is a prototypical control process, the analysis concludes that task switching depends on the task goal representation and that control processes are there to prevent goal representations from disintegrating. Over time, these processes become obsolete, leaving behind a representation that automatically controls task performance. The distinction between processes and representations relates (...) to practice effects and automaticity and sheds light on what is meant by the phrase “automatic control.”. (shrink)

Previous accounts of cognitive skill acquisition have demonstrated how procedural knowledge can be obtained and transformed over time into skilled task performance. This article focuses on a complementary aspect of skill acquisition, namely the integration and reuse of previously known component skills. The article posits that, in addition to mechanisms that proceduralize knowledge into more efficient forms, skill acquisition requires tight integration of newly acquired knowledge and previously learned knowledge. Skill acquisition also benefits from reuse of existing knowledge across disparate (...) task domains, relying on indexicals to reference and share necessary information across knowledge components. To demonstrate these ideas, the article proposes a computational model of skill acquisition from instructions focused on integration and reuse, and applies this model to account for behavior across seven task domains. (shrink)

The current study had three goals: to investigate strategies, tactics, and errors as predictors of success and failure under uncertainty following the dynamic decision making and complex problem solving framework; to use observation and to examine its reliability and potential as a data collection method when using microworlds; and to investigate the applicability and validity of a microworld developed in the West, to an Asian sample. One hundred three participants in the Philippines took the role of fire chief in the (...) microworld WINFIRE. Their strategies, tactics, and errors were observed and coded by experimenters as they worked individually on the simulation twice. Results showed that DDM strategies, tactics, and errors predicted success and failure in WINFIRE, and strategies and tactics that led to success increased while errors decreased over time; strategies, tactics, and errors can be validly assessed through observation by experimenters, specifically that two types of decision makers were identified: the active, flexible, and big picture planners and the slow or cautious, and singlefocused decision makers; these findings together with participants’ survey ratings speak for the applicability of the microworld in an East Asian sample and for its validity. Findings are potentially relevant for experts and for training programs, highlighting the benefits of virtual environments during DDM. (shrink)

Individual differences in the strategies that control sequential behavior were investigated in an experiment in which participants memorized sentences and then wrote them by hand, in a non‐cursive style. Thirty‐two participants each wrote eight sentences, which had hierarchical structures with five levels. The dataset included over 31,000 letters. Despite the deliberately constrained nature of the task and stimuli, 23 patterns of behavior were identified from the durations of pauses that occurred before the inscription of letters at four chunk levels, spanning (...) letters, words, phrases, and sentences. A critical path task analytic model, Graphical Production of Memorized Sentences (GPoMS), shows that the control of writing relies on cues that continuously switch between motor actions and chunk retrievals in a just‐in‐time fashion at the level of letter information. GPoMS explains the individual differences in terms of variants of a motor production mechanism and variants of a chunk retrieval mechanism, which involve varying degrees of parallelism between cognitive actions and motor actions. A graphical technique for constructing GPoMS models was developed that enabled the estimation of ongoing working memory demands during production. (shrink)