Patterns and conflicts for the specification of cognitive models

Cognitive modeling is the creation of computer-based processes that mimic human problem-solving and task execution using existing cognitive theories. Cognitive modeling remains a labor-intensive and error prone activity with little theoretical and tool support. In this paper, we propose an approach to capturing specifications for cognitive models in an incremental and modular way. We use patterns and conflicts to capture specifications and discuss methodological and tool support for specification activities.

[1]  A. Elmagarmid.  Database transaction models for advanced applications , 1992 .

[2]  RICHARD W. PEW.  PANEL ON MODELING HUMAN BEHAVIOR AND COMMAND DECISION MAKING: REPRESENTATIONS FOR MILITARY SIMULATIONS , .

[3]  Dario D. Salvucci.  Predicting the effects of in-car interfaces on driver behavior using a cognitive architecture , 2001, CHI.

[4]  M. Just,et al.  Cognitive coordinate systems: accounts of mental rotation and individual differences in spatial ability. , 1985, Psychological review.

[5]  John Funge,et al.  Cognitive modeling for games and animation , 2000, CACM.

[6]  David E. Kieras,et al.  Précis to a practical unified theory of cognition and action: Some lessons from EPIC computational models of human multiple-task performance , 1997 .

[7]  Peter J. Denning,et al.  Machines, Languages, And Computation , 1978 .

[8]  Pierfrancesco Bellini,et al.  Temporal logics for real-time system specification , 2000, CSUR.

[9]  C. Lebiere,et al.  The Atomic Components of Thought , 1998 .

[10]  James S. Albus,et al.  Engineering of Mind: An Introduction to the Science of Intelligent Systems , 2001 .

[11]  Frank E. Ritter,et al.  Supporting cognitive models as users , 2000, TCHI.

[12]  Randolph M. Jones,et al.  Automated Intelligent Pilots for Combat Flight Simulation , 1998, AI Mag..

[13]  Marcel Adam Just,et al.  Reduced resources and specific impairments in normal and aphasic sentence comprehension , 1995 .

[14]  John E. Laird,et al.  The soar papers : research on integrated intelligence , 1993 .

[15]  Marc Frappier,et al.  Computer Program Construction , 1994 .