Computational Models Of Cognitive Processes Research Articles

Troubleshooting Bayesian cognitive models.

Using Bayesian methods to apply computational models of cognitive processes, or Bayesian cognitive modeling, is an important new trend in psychological research. The rise of Bayesian cognitive modeling has been accelerated by the introduction of software that efficiently automates the Markov chain Monte Carlo sampling used for Bayesian model fitting-including the popular Stan and PyMC packages, which automate the dynamic Hamiltonian Monte Carlo and No-U-Turn Sampler (HMC/NUTS) algorithms that we spotlight here. Unfortunately, Bayesian cognitive models can struggle to pass the growing number of diagnostic checks required of Bayesian models. If any failures are left undetected, inferences about cognition based on the model's output may be biased or incorrect. As such, Bayesian cognitive models almost always require troubleshooting before being used for inference. Here, we present a deep treatment of the diagnostic checks and procedures that are critical for effective troubleshooting, but are often left underspecified by tutorial papers. After a conceptual introduction to Bayesian cognitive modeling and HMC/NUTS sampling, we outline the diagnostic metrics, procedures, and plots necessary to detect problems in model output with an emphasis on how these requirements have recently been changed and extended. Throughout, we explain how uncovering the exact nature of the problem is often the key to identifying solutions. We also demonstrate the troubleshooting process for an example hierarchical Bayesian model of reinforcement learning, including supplementary code. With this comprehensive guide to techniques for detecting, identifying, and overcoming problems in fitting Bayesian cognitive models, psychologists across subfields can more confidently build and use Bayesian cognitive models in their research. (PsycInfo Database Record (c) 2023 APA, all rights reserved).

Computational Approaches to Comics Analysis.

Comics are complex documents whose reception engages cognitive processes such as scene perception, language processing, and narrative understanding. Possibly because of their complexity, they have rarely been studied in cognitive science. Modeling the stimulus ideally requires a formal description, which can be provided by feature descriptors from computer vision and computational linguistics. With a focus on document analysis, here we review work on the computational modeling of comics. We argue that the development of modern feature descriptors based on deep learning techniques has made sufficient progress to allow the investigation of complex material such as comics for reception studies, including experimentation and computational modeling of cognitive processes.

An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules

Computational psychology has the aim to explain human cognition by computational models of cognitive processes. The cognitive architecture Adaptive Control of Thought--Rational (ACT-R) is popular to develop such models. Although ACT-R has a well-defined psychological theory and has been used to explain many cognitive processes, there are two problems that make it hard to reason formally about its cognitive models: First, ACT-R lacks a computational formalization of its underlying production rule system, and, second, there are many different implementations and extensions of ACT-R with many technical artifacts complicating formal reasoning even more. This article describes a formal operational semantics—the very abstract semantics —that abstracts from as many technical details as possible, keeping it open to extensions and different implementations of the ACT-R theory. In a second step, this semantics is refined to define some of its abstract features that are found in many implementations of ACT-R—called the abstract semantics . It concentrates on the procedural core of ACT-R and is suitable for analysis of the general transition system, since it still abstracts from details like timing, the sub-symbolic layer of ACT-R or conflict resolution. Furthermore, a translation of ACT-R models to the declarative programming language Constraint Handling Rules (CHR) is defined. This makes the abstract semantics an executable specification of ACT-R. CHR has been used successfully to embed other rule-based formalisms like graph transformation systems or functional programming. There are many theoretical results and practical tools that support formal reasoning about and analysis of CHR programs. The translation of ACT-R models to CHR is proven sound and complete w.r.t. the abstract operational semantics of ACT-R. This paves the way to analysis of ACT-R models through CHR analysis results and tools. Therefore, to the best of our knowledge, our abstract semantics is the first abstract formulation of ACT-R suitable for both analysis and execution.

Simulations in Cyber-Security: A Review of Cognitive Modeling of Network Attackers, Defenders, and Users.

Computational models of cognitive processes may be employed in cyber-security tools, experiments, and simulations to address human agency and effective decision-making in keeping computational networks secure. Cognitive modeling can addresses multi-disciplinary cyber-security challenges requiring cross-cutting approaches over the human and computational sciences such as the following: (a) adversarial reasoning and behavioral game theory to predict attacker subjective utilities and decision likelihood distributions, (b) human factors of cyber tools to address human system integration challenges, estimation of defender cognitive states, and opportunities for automation, (c) dynamic simulations involving attacker, defender, and user models to enhance studies of cyber epidemiology and cyber hygiene, and (d) training effectiveness research and training scenarios to address human cyber-security performance, maturation of cyber-security skill sets, and effective decision-making. Models may be initially constructed at the group-level based on mean tendencies of each subject's subgroup, based on known statistics such as specific skill proficiencies, demographic characteristics, and cultural factors. For more precise and accurate predictions, cognitive models may be fine-tuned to each individual attacker, defender, or user profile, and updated over time (based on recorded behavior) via techniques such as model tracing and dynamic parameter fitting.

Probabilistic Inference: Task Dependency and Individual Differences of Probability Weighting Revealed by Hierarchical Bayesian Modeling.

Cognitive determinants of probabilistic inference were examined using hierarchical Bayesian modeling techniques. A classic urn-ball paradigm served as experimental strategy, involving a factorial two (prior probabilities) by two (likelihoods) design. Five computational models of cognitive processes were compared with the observed behavior. Parameter-free Bayesian posterior probabilities and parameter-free base rate neglect provided inadequate models of probabilistic inference. The introduction of distorted subjective probabilities yielded more robust and generalizable results. A general class of (inverted) S-shaped probability weighting functions had been proposed; however, the possibility of large differences in probability distortions not only across experimental conditions, but also across individuals, seems critical for the model's success. It also seems advantageous to consider individual differences in parameters of probability weighting as being sampled from weakly informative prior distributions of individual parameter values. Thus, the results from hierarchical Bayesian modeling converge with previous results in revealing that probability weighting parameters show considerable task dependency and individual differences. Methodologically, this work exemplifies the usefulness of hierarchical Bayesian modeling techniques for cognitive psychology. Theoretically, human probabilistic inference might be best described as the application of individualized strategic policies for Bayesian belief revision.

Integrated Intrinsic and Dedicated Representations of Time: A Computational Study Involving Robotic Agents

The computational modeling of cognitive processes provides a systematic means to study hidden and particularly complex aspects of brain functionality. Given our rather limited understanding of how the brain deals with the notion of time, the implementation of computational models addressing duration processing can be particularly informative for studying possible time representations in our brain. In the present work we adopt a connectionist modeling approach to study how time experiencing and time processing may be encoded in a simple neural network trained to accomplish time-based robotic tasks. A particularly interesting characteristic of the present study is the implementation of a single computational model to accomplish not only one but three different behavioral tasks that assume diverse manipulation of time intervals. This setup enables a multifaceted exploration of duration-processing mechanisms, revealing a rather plausible hypothesis of how our brain deals with time. The model is implemented through an evolutionary design procedure, making a very limited set of a priori assumptions regarding its internal structure and machinery. Artificial evolution facilitates the unconstrained self-organization of time representation and processing mechanisms in the brain of simulated robotic agents. Careful examination of the artificial brains has shown that the implemented mechanisms incorporate characteristics from both the ‘intrinsic’ time representation scheme and the ‘dedicated’ time representation scheme. Even though these two schemes are widely considered as contradictory, the present study shows that it is possible to effectively integrate them in the same cognitive system. This provides a new view on the possible representation of time in the brain, and paves the way for new and more comprehensive theories to address interval timing.

Assessing executive function using a computer game: computational modeling of cognitive processes.

Early and reliable detection of cognitive decline is one of the most important challenges of current healthcare. In this project, we developed an approach whereby a frequently played computer game can be used to assess a variety of cognitive processes and estimate the results of the pen-and-paper trail making test (TMT)--known to measure executive function, as well as visual pattern recognition, speed of processing, working memory, and set-switching ability. We developed a computational model of the TMT based on a decomposition of the test into several independent processes, each characterized by a set of parameters that can be estimated from play of a computer game designed to resemble the TMT. An empirical evaluation of the model suggests that it is possible to use the game data to estimate the parameters of the underlying cognitive processes and using the values of the parameters to estimate the TMT performance. Cognitive measures and trends in these measures can be used to identify individuals for further assessment, to provide a mechanism for improving the early detection of neurological problems, and to provide feedback and monitoring for cognitive interventions in the home.

Learning curves as strong evidence for testing models: The case of EBRW

This manuscript describes how learning curves can be used to provide a strong test for computational models of cognitive processes. As an example, we show how this method can be used to evaluate the Exemplar-Based Random-Walk model of categorization (EBRW; Nosofsky & Palmeri, 1997a). EBRW is an extension of the Generalized Context Model (GCM; Nosofsky, 1984, 1986). It predicts that the mean response times (RTs) follow a power function. It can be shown analytically, however, that the learning rate (i.e., the curvature) predicted by the model can only be equal to 1, a value rarely observed in empirical data analyses. We also explored an extended version of EBRW including background noise elements (Nosofsky & Alfonso-Reese, 1999) and identified conditions under which this model can predict curvatures different from 1. The limitation of these models to predict a wide variety of curvatures as observed in human data can be resolved by a simple extension to EBRW in which the original exponential distribution of retrieval times is replaced by a Weibull distribution. Additional predictions regarding learning curves are discussed.

Convergence of the visual field split: hemispheric modeling of face and object recognition.

Anatomical evidence shows that our visual field is initially split along the vertical midline and contralaterally projected to different hemispheres. It remains unclear at which processing stage the split information converges. In the current study, we applied the Double Filtering by Frequency (DFF) theory (Ivry & Robertson, 1998) to modeling the visual field split; the theory assumes a right-hemisphere/low-frequency bias. We compared three cognitive architectures with different timings of convergence and examined their cognitive plausibility to account for the left-side bias effect in face perception observed in human data. We show that the early convergence model failed to show the left-side bias effect. The modeling, hence, suggests that the convergence may take place at an intermediate or late stage, at least after information has been extracted/encoded separately in the two hemispheres, a fact that is often overlooked in computational modeling of cognitive processes. Comparative anatomical data suggest that this separate encoding process that results in differential frequency biases in the two hemispheres may be engaged from V1 up to the level of area V3a and V4v, and converge at least after the lateral occipital region. The left-side bias effect in our model was also observed in Greeble recognition; the modeling, hence, also provides testable predictions about whether the left-side bias effect may also be observed in (expertise-level) object recognition.

How does it fit?

Cognitive science has seen a steady increase in the number of mathematical and computational models of cognitive processes. This raises the question of which models should be preferred when there is more than one that appears to account for the data? For formally well-specified models, the answer to this question has traditionally been: the model that provides the best fit to the data.

Realism and Antirealism in Artificial Intelligence

In the philosophy of mind, the controversy between realists and antirealists often concerns the logical form of sentences embedded in attitude reports. Antirealists believe that such sentences refer to psychological states; realists believe that they refer to situations or states of the world. In this essay, it is shown how these two modes of semantic representation are associated with different approaches to the computational modeling of cognitive processes. I put forward a normative account of methodology in artificial intelligence that reconciles realism and antirealism, and suggest that my account sheds light on the problem of representing the logical form of attitude reports.