Patterns and Conflicts for the Specification and Verification of Cognitive Models

Abstract : 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 particular, we propose an approach to capturing specifications for cognitive models in an incremental and modular way. We then discuss ways of proving that a cognitive model meets its specification.

[1]  Jan A. Bergstra,et al.  Expressiveness and the Completeness of Hoare's Logic , 1982, J. Comput. Syst. Sci..

[2]  Shane T. Mueller,et al.  Models of Working Memory: Insights into Working Memory from the Perspective of the EPIC Architecture for Modeling Skilled Perceptual-Motor and Cognitive Human Performance , 1998 .

[3]  Robert W. Floyd,et al.  Assigning meaning to programs , 1967 .

[4]  Frank E. Ritter,et al.  Useful Mechanisms for Developing Simulations for Cognitive Models , 1995 .

[5]  David Gries.  An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs , 1976, IEEE Transactions on Software Engineering.

[6]  H. K. Berg.  Formal methods of program verification and specification , 1982 .

[7]  Mehdi T. Harandi,et al.  Workshop on software specification and design , 1988, SOEN.

[8]  Andreas Birk,et al.  Managing Software Engineering Experience for Com-prehensive Reuse , 1999 .

[9]  David Gries,et al.  The Science of Programming , 1981, Text and Monographs in Computer Science.

[10]  Michael D. Byrne,et al.  ACT-R/PM and menu selection: applying a cognitive architecture to HCI , 2001, Int. J. Hum. Comput. Stud..

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

[12]  Jill Fain Lehman,et al.  A gentle introduction to Soar , 1996 .

[13]  Ali Mili.  An Introduction to Formal Program Verification , 1985 .

[14]  Roland Carl Backhouse,et al.  Program construction and verification , 1986, PHI Series in computer science.

[15]  John R Anderson,et al.  An integrated theory of the mind. , 2004, Psychological review.

[16]  C. A. R. Hoare,et al.  Laws of programming , 1987, CACM.

[17]  Dario D. Salvucci,et al.  Toward a Unified Framework for Tracking Cognitive Processes , 2003 .

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

[19]  Frank E. Ritter,et al.  Techniques for modelling human performance in synthetic environments : A supplementary review , 1999 .

[20]  Frank E. Ritter,et al.  Knowledge level learning and the power law: A soar model of skill acquisition in scheduling , 1999, Kognitionswissenschaft.

[21]  C. A. R. HOARE,et al.  An axiomatic basis for computer programming , 1969, CACM.

[22]  Frank J. Lee,et al.  Simple cognitive modeling in a complex cognitive architecture , 2003, CHI '03.

[23]  M A Musen,et al.  Dimensions of knowledge sharing and reuse. , 1992, Computers and biomedical research, an international journal.

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

[25]  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 .

[26]  C. A. R. Hoare,et al.  The Weakest Prespecification , 1987, Information Processing Letters.

[27]  Krzysztof R. Apt,et al.  Ten Years of Hoare's Logic: A Survey—Part I , 1981, TOPL.

[28]  Frank E. Ritter,et al.  Creating Models to Control Simulations: A Generic Approach , 1995 .

[29]  Yuval Shahar,et al.  Task Modeling with Reusable Problem-Solving Methods , 1995, Artif. Intell..