This paper describes the processes of cognitive modeling and representation of human expertise for developing an ontology and knowledge base of an expert system. An ontology is an organization and classification of knowledge. Ontological engineering in artificial intelligence has the practical goal of constructing frameworks for knowledge that allow computational systems to tackle knowledge-intensive problems and supports knowledge sharing and reuse. Ontological engineering is also a process that facilitates construction of the knowledge base of an intelligent system, which can (...) be defined as a computer program that can duplicate problem-solving capabilities of human experts in specific areas. This paper presents the processes of knowledge acquisition, analysis, and representation, which laid the basis for ontology construction. In this case, the processes are applied in ontological engineering for construction of an expert system in the domain of monitoring of a petroleum production and separation facility. The acquired knowledge was also formally represented in two knowledge acquisition tools. (shrink)

Cognitive modeling involves the creation of computer simulations that emulate the internal processes of the mind. This set of papers are the five best representatives of the papers presented at the 17th International Conference on Cognitive Modeling, ICCM 2019. While they represent a diversity of techniques and tasks, they all also share a striking similarity: They make strong statements about the importance of accounting for individual differences.

The International Conference on Cognitive Modeling brings together researchers from around the world whose main goal is to build computational systems that reflect the internal processes of the mind. In this issue, we present the five best representative papers on this work from our 19th meeting, ICCM 2021, which was held virtually from July 3 to July 9, 2021. Three of these papers provide new techniques for refining computational models, giving better methods for taking empirical data and producing accurate (...) computational models of the cognitive systems that produce them. The other two papers focus on explanation: using models to elucidate the underlying processes affecting cognition in such diverse domains as logical reasoning and the effects of caffeine. (shrink)

Scientists and philosophers alike debate whether various systems such as plants and bacteria exercise cognition. One strategy for resolving such debates is to ground claims about nonhuman cognition in evidence from mathematical models of cognitive capacities. In this article, I show that proponents of this strategy face two major challenges: demarcating phenomenological models from process models and overcoming underdetermination by model fit. I argue that even if the demarcation problem is resolved, fitting a process model to behavioral data is, (...) on its own, not strong evidence for any cognitive process, let alone processes shared with humans. (shrink)

In this issue of topiCS, we present the best papers from the ICCM meeting. These best papers represent advances in the state of the art in cognitive modeling. Since ICCM was for the first time also held jointly with the Society for Mathematical Psychology, we use this preface to also reflect on the similarities and differences between mathematical psychology and cognitive modeling.

The article first addresses the importance of cognitive modeling, in terms of its value to cognitive science (as well as other social and behavioral sciences). In particular, it emphasizes the use of cognitive architectures in this undertaking. Based on this approach, the article addresses, in detail, the idea of a multi-level approach that ranges from social to neural levels. In physical sciences, a rigorous set of theories is a hierarchy of descriptions/explanations, in which causal relationships among entities (...) at a high level can be reduced to causal relationships among simpler entities at a more detailed level. We argue that a similar hierarchy makes possible an equally productive approach toward cognitive modeling. The levels of models that we conceive in relation to cognition include, at the highest level, sociological/anthropological models of collective human behavior, behavioral models of individual performance, cognitive models involving detailed mechanisms, representations, and processes, as well as biological/physiological models of neural circuits, brain regions, and other detailed biological processes. (shrink)

A long history of research has revealed many neurophysiological changes and concomitant behavioral impacts of sleep deprivation, sleep restriction, and circadian rhythms. Little research, however, has been conducted in the area of computational cognitive modeling to understand the information processing mechanisms through which neurobehavioral factors operate to produce degradations in human performance. Our approach to understanding this relationship is to link predictions of overall cognitive functioning, or alertness, from existing biomathematical models to information processing parameters in a (...) class='Hi'>cognitive architecture, leveraging the strengths from each to develop a more comprehensive explanation. The integration of these methodologies is used to account for changes in human performance on a sustained attention task across 88 h of total sleep deprivation. The integrated model captures changes due to time awake and circadian rhythms, and it also provides an account for underlying changes in the cognitive processes that give rise to those effects. The results show the potential for developing mechanistic accounts of how fatigue impacts cognition, and they illustrate the increased explanatory power that is possible by combining theoretical insights from multiple methodologies. (shrink)

Analogy and similarity are central phenomena in human cognition, involved in processes ranging from visual perception to conceptual change. To capture this centrality requires that a model of comparison must be able to integrate with other processes and handle the size and complexity of the representations required by the tasks being modeled. This paper describes extensions to Structure-Mapping Engine since its inception in 1986 that have increased its scope of operation. We first review the basic SME algorithm, describe psychological evidence (...) for SME as a process model, and summarize its role in simulating similarity-based retrieval and generalization. Then we describe five techniques now incorporated into the SME that have enabled it to tackle large-scale modeling tasks: Greedy merging rapidly constructs one or more best interpretations of a match in polynomial time: O); Incremental operation enables mappings to be extended as new information is retrieved or derived about the base or target, to model situations where information in a task is updated over time; Ubiquitous predicates model the varying degrees to which items may suggest alignment; Structural evaluation of analogical inferences models aspects of plausibility judgments; Match filters enable large-scale task models to communicate constraints to SME to influence the mapping process. We illustrate via examples from published studies how these enable it to capture a broader range of psychological phenomena than before. (shrink)

Reduced forms such as the pronoun he provide little information about their intended meaning compared to more elaborate descriptions such as the lead singer of Coldplay. Listeners must therefore use contextual information to recover their meaning. Across languages, there appears to be a trade‐off between the informativity of a form and the prominence of its referent. For example, Italian adults generally interpret informationally empty null pronouns as in the sentence Corre (meaning “He/She/It runs”) as referring to the most prominent referent (...) in the discourse, and more informative overt pronouns (e.g., lui in Lui corre, “He runs”) as referring to less prominent referents. Although children acquiring Italian are known to experience difficulties interpreting pronouns, it is unclear how they acquire this division of pragmatic labor between null and overt subject pronouns, and how this relates to the development of their cognitive capacities. Here we show that cognitive development can account for the general interpretation patterns displayed by Italian‐speaking children and adults. Using experimental studies and computational simulations in a framework modeling bounded‐rational behavior, we argue that null pronoun interpretation is influenced by working memory capacity and thus appears to depend on discourse context, whereas overt pronoun interpretation is influenced by processing speed, suggesting that listeners must reason about the speaker's choices. Our results demonstrate that cognitive capacities may constrain the acquisition of linguistic forms and their meanings in various ways. The novel predictions generated by the computational simulations point out several directions for future research. (shrink)

Quantum probability theory offers a viable alternative to classical probability, although there are some ambiguities inherent in transferring the quantum formalism to a less determined realm. A number of physicists are now looking at the applicability of quantum ideas to the assessment of physics learning, an area particularly suited to quantum probability ideas.

Much of cognitive psychology focuses on effects measured in tens of milliseconds while significant educational outcomes take tens of hours to achieve. The task of bridging this gap is analyzed in terms of Newell's (1990) bands of cognition—the Biological, Cognitive, Rational, and Social Bands. The 10 millisecond effects reside in his Biological Band while the significant learning outcomes reside in his Social Band. The paper assesses three theses: The Decomposition Thesis claims that learning occurring at the Social Band (...) can be reduced to learning occurring at lower bands. The Relevance Thesis claims that instructional outcomes at the Social Band can be improved by paying attention to cognition at the lower bands. The Modeling Thesis claims that cognitive modeling provides a basis for bridging between events on the small scale and desired outcomes on the large scale. The unit-task level, at the boundary of the Cognitive and Rational Bands, is useful for assessing these theses. There is good evidence for all three theses in efforts that bridge from the unit-task level to educational applications. While there is evidence for the Decomposition Thesis all the way down to the 10 millisecond level, more work needs to be done to establish the Relevance Thesis and particularly the Modeling Thesis at the lower levels. (shrink)

This article explores the view that computational models of cognition may constitute valid theories of cognition, often in the full sense of the term ‘‘theory”. In this discussion, this article examines various (existent or possible) positions on this issue and argues in favor of the view above. It also connects this issue with a number of other relevant issues, such as the general relationship between theory and data, the validation of models, and the practical benefits of computational modeling. All the (...) discussions point to the position that computational cognitive models can be true theories of cognition. Ó 2008 Elsevier B.V. All rights reserved. (shrink)

Frost's critique reveals the limitations of the reverse-engineering approach to cognitive modeling – the style of psychological explanation in which a stipulated internal organization explains a relatively narrow set of phenomena. An alternative is to view organization as both the explanation for some phenomena and a phenomenon to be explained. This move poses new and interesting theoretical challenges for theories of word reading.

I argue that the overly simplistic scenarios discussed by Pothos & Busemeyer (P&B) establish at best that quantum probability theory (QPT) is a logical possibility allowing distinct predictions from classical probability theory (CPT). The article fails, however, to provide convincing evidence for the proposal that QPT offers unique insights regarding cognition and the nature of human rationality.

Shanker & King's (S&K's) proposal is consistent with a Vygotskian model of development which assumes that cognition is first social and visible, and only later internalized and invisible. Rather than slipping into positing “epistemic operators” like understand or intend as generative of behavior during language learning or theory of mind tasks, this approach profits from keeping its focus on charting the ontogeny of embodied interactions.

In this paper we review some problems with traditional approaches for acquiring and representing knowledge in the context of developing user interfaces. Methodological implications for knowledge engineering and for human-computer interaction are studied. It turns out that in order to achieve the goal of developing human-oriented (in contrast to technology-oriented) human-computer interfaces developers have to develop sound knowledge of the structure and the representational dynamics of the cognitive system which is interacting with the computer.We show that in a first (...) step it is necessary to study and investigate the different levels and forms of representation that are involved in the interaction processes between computers and human cognitive systems. Only if designers have achieved some understanding about these representational mechanisms, user interfaces enabling individual experiences and skill development can be designed. In this paper we review mechanisms and processes for knowledge representation on a conceptual, epistemological, and methodologieal level, and sketch some ways out of the identified dilemmas for cognitive modeling in the domain of human-computer interaction. (shrink)

Classical (Bayesian) probability (CP) theory has led to an influential research tradition for modeling cognitive processes. Cognitive scientists have been trained to work with CP principles for so long that it is hard even to imagine alternative ways to formalize probabilities. However, in physics, quantum probability (QP) theory has been the dominant probabilistic approach for nearly 100 years. Could QP theory provide us with any advantages in cognitive modeling as well? Note first that both CP and QP (...) theory share the fundamental assumption that it is possible to model cognition on the basis of formal, probabilistic principles. But why consider a QP approach? The answers are that (1) there are many well-established empirical findings (e.g., from the influential Tversky, Kahneman research tradition) that are hard to reconcile with CP principles; and (2) these same findings have natural and straightforward explanations with quantum principles. In QP theory, probabilistic assessment is often strongly context- and order-dependent, individual states can be superposition states (that are impossible to associate with specific values), and composite systems can be entangled (they cannot be decomposed into their subsystems). All these characteristics appear perplexing from a classical perspective. However, our thesis is that they provide a more accurate and powerful account of certain cognitive processes. We first introduce QP theory and illustrate its application with psychological examples. We then review empirical findings that motivate the use of quantum theory in cognitive theory, but also discuss ways in which QP and CP theories converge. Finally, we consider the implications of a QP theory approach to cognition for human rationality. (shrink)

The International Conference on Cognitive Modeling brings together researchers from around the world whose main goal is to build computational systems that reflect the internal processes of the mind. In this issue, we present the five best representative papers on this work from our 19th meeting, ICCM 2021, which was held virtually from July 3 to July 9, 2021. Three of these papers provide new techniques for refining computational models, giving better methods for taking empirical data and producing accurate (...) computational models of the cognitive systems that produce them. The other two papers focus on explanation: using models to elucidate the underlying processes affecting cognition in such diverse domains as logical reasoning and the effects of caffeine. (shrink)

The Role of Dorsal Premotor Cortex in Resolving Abstract Motor Rules provides alternative hypotheses about the cognitive functions affected by the application of repetitive transcranial magnetic stimulation. Their model simulated the effect of stimulation of the left dorsal premotor cortex right as participants provide a Models were used to demonstrate that the increased variability in observed response times can result from interference in replanning during the process of responding to the uninstructed stimulus.

In this chapter, the author examines how the simplicity heuristic adversely affects a relatively new tool in experimental comparative cognition: cognitive models. It does so, she argues, by directing intellectual resources into the development and refinement of putatively simple cognitive models at the expense of putatively more complex ones, which in turn directs experimenters to develop tests to rule out these simple models.

Contemporary methods of computational cognitive modeling have recently been criticized by Addyman and French (2012) on the grounds that they have not kept up with developments in computer technology and human–computer interaction. They present a manifesto for change according to which, it is argued, modelers should devote more effort to making their models accessible, both to non-modelers (with an appropriate easy-to-use user interface) and modelers alike. We agree that models, like data, should be freely available according to the normal (...) standards of science, but caution against confusing implementations with specifications. Models may embody theories, but they generally also include implementation assumptions. Cognitive modeling methodology needs to be sensitive to this. We argue that specification, replication and experimentation are methodological approaches that can address this issue. (shrink)

We examine children's cognitive skills and cultural representations in naturally occurring discourse, integrating theoretical perspectives from psychology, cognitive anthropology, and sociolinguistics. We focus on two interactional events recorded in our 10-year study of children's language socialization in Kwara'ae involving the same child at ages 2 and 4 years interacting with an older child and an adult, respectively, around routine tasks. In both cases a potentially serious cultural anomaly that challenges the children's own constructions of cultural models tests their (...) strategic creativity and agency in negotiating an outcome. The resulting discourse reveals how they are construing and modeling culture in a time of rapid social change. (shrink)

I consider the role of cognitive modeling in cognitive science. Modeling, and the computers that enable it, are central to the field, but the role of modeling is often misunderstood. Models are not intended to capture fully the processes they attempt to elucidate. Rather, they are explorations of ideas about the nature of cognitive processes. In these explorations, simplification is essential—through simplification, the implications of the central ideas become more transparent. This is not to say that simplification (...) has no downsides; it does, and these are discussed. I then consider several contemporary frameworks for cognitive modeling, stressing the idea that each framework is useful in its own particular ways. Increases in computer power (by a factor of about 4 million) since 1958 have enabled new modeling paradigms to emerge, but these also depend on new ways of thinking. Will new paradigms emerge again with the next 1,000‐fold increase? (shrink)

People often face preferential decisions under risk. To further our understanding of the cognitive processes underlying these preferential choices, two prominent cognitive models, decision field theory (DFT; Busemeyer & Townsend, 1993) and the proportional difference model (PD; González‐Vallejo, 2002), were rigorously tested against each other. In two consecutive experiments, the participants repeatedly had to choose between monetary gambles. The first experiment provided the reference to estimate the models’ free parameters. From these estimations, new gamble pairs were generated for (...) the second experiment such that the two models made maximally divergent predictions. In the first experiment, both models explained the data equally well. However, in the second generalization experiment, the participants’ choices were much closer to the predictions of DFT. The results indicate that the stochastic process assumed by DFT, in which evidence in favor of or against each option accumulates over time, described people’s choice behavior better than the trade‐offs between proportional differences assumed by PD. (shrink)

Naturalistic theories of representation seek to specify the conditions that must be met for an entity to represent another entity. Although these approaches have been relatively successful in certain areas, such as communication theory or genetics, many doubt that they can be employed to naturalize complex cognitive representations. In this essay I identify some of the difficulties for developing a teleosemantic theory of cognitive representations and provide a strategy for accommodating them: to look into models of signaling in (...) evolutionary game theory. I show how these models can be used to formulate teleosemantics and expand it in new directions. (shrink)

Research with computer systems and musical grammars into improvisation as found in the tabla drumming system of North India has indicated that certain musical sentences comprise (a) variable prefixes, and (b) fixed suffixes (or cadences) identical with those of their original rhythmic themes. It was assumed that the cadence functioned as a kind of target in linear musical space, and yet experiments showed that defining what exactly constituted the cadence was problematic. This paper addresses the problem of the status of (...) cadential patterns, and demonstrates the need for a better understanding and formalization of ambiguity in musico-cognitive processing. It would appear from the discussion that the cadence is not a discrete unit in itself, but just part of an ever-present underlying framework comprising the entire original rhythmic theme. Improvisations (variations), it is suggested, merely break away from and rejoin this framework at important structural points. This endorses the theory of simultaneity. However, the general cognitive implications are still unclear, and further research is required to explore musical ambiguity and the interaction of musical, linguistic, and spatio-motor grammars. (shrink)

We analyze the dynamics of repeated interaction of two players in the Prisoner's Dilemma under various levels of interdependency information and propose an instance-based learning cognitive model to explain how cooperation emerges over time. Six hypotheses are tested regarding how a player accounts for an opponent's outcomes: the selfish hypothesis suggests ignoring information about the opponent and utilizing only the player's own outcomes; the extreme fairness hypothesis weighs the player's own and the opponent's outcomes equally; the moderate fairness hypothesis (...) weighs the opponent's outcomes less than the player's own outcomes to various extents; the linear increasing hypothesis increasingly weighs the opponent's outcomes at a constant rate with repeated interactions; the hyperbolic discounting hypothesis increasingly and nonlinearly weighs the opponent's outcomes over time; and the dynamic expectations hypothesis dynamically adjusts the weight a player gives to the opponent's outcomes, according to the gap between the expected and the actual outcomes in each interaction. When players lack explicit feedback about their opponent's choices and outcomes, results are consistent with the selfish hypothesis; however, when this information is made explicit, the best predictions result from the dynamic expectations hypothesis. (shrink)

An Interdisciplinary Approach to Cognitive Modelling presents a new approach to cognition that challenges long-held views. It systematically develops a broad-based framework to model cognition, which is mathematically equivalent to the emerging 'quantum-like modelling' of the human mind. The book argues that a satisfactory physical and philosophical basis of such an approach is missing, a particular issue being the application of quantization to the mind for which there is no empirical evidence as yet. In response to this (...) issue, the book adopts a COM (classical optical modelling) approach, broad-based but mathematically equivalent to quantum-like modelling while avoiding its problematic features. It presents a philosophically informed and empirically motivated mathematical model of cognition, mainly concerning decision making processes. It also deals with applications to different areas of the social sciences. It will be of interest to scholars and research students interested in the mathematical modelling of cognition and decision making, and also interdisciplinary researchers interested in broader issues of cognition. (shrink)