Formal Modelling of Cognitive Interpretation

We formally specify the interpretation stage in a dual state space human-computer interaction cycle. This is done by extending / reorganising our previous cognitive architecture. In particular, we focus on shape related aspects of the interpretation process associated with device input prompts. A cash-point example illustrates our approach. Using the SAL model checking environment, we show how the extended cognitive architecture facilitates detection of prompt-shape induced human error.

[1]  A. Newell.  Unified Theories of Cognition , 1990 .

[2]  Andrew Dillon,et al.  Spatial-semantics: How users derive shape from information space , 2000, J. Am. Soc. Inf. Sci..

[3]  M. Byrne,et al.  A Working Memory Model of a Common Procedural Error , 1997 .

[4]  Philippe A. Palanque,et al.  Design, specification, and verification of interactive systems , 2001, SOEN.

[5]  John M. Rushby,et al.  Analyzing Cockpit Interfaces Using Formal Methods , 2001, FM-Everywhere@FORTE/PSTV.

[6]  G. Mandler.  Recognizing: The judgment of previous occurrence. , 1980 .

[7]  Peter A. Lindsay,et al.  Formal analysis of human-computer interaction using model-checking , 2005, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).

[8]  Ann Blandford,et al.  Detecting Multiple Classes of User Errors , 2001, EHCI.

[9]  Ann Blandford,et al.  Separating user and device descriptions for modelling interactive problem solving , 1995, INTERACT.

[10]  Thomas G. Moher,et al.  Revising Mental Models to Accomodate Expectation Failures in Human-Computer Dialogues , 1995, DSV-IS.

[11]  Andrew Dillon,et al.  Expertise and the Perception of Shape in Information , 1996, J. Am. Soc. Inf. Sci..

[12]  James Reason,et al.  Human Error , 1990 .

[13]  Michael D. Harrison,et al.  Formally verifying interactive systems: A review , 1997, DSV-IS.

[14]  E. Tulving.  Elements of episodic memory , 1983 .

[15]  Peter Johnson,et al.  Formal architectural abstractions for interactive software , 1998, Int. J. Hum. Comput. Stud..

[16]  Ashish Tiwari,et al.  Sal 2 , 2004, CAV.

[17]  Ann Blandford,et al.  Demonstrating the Cognitive Plausibility of Interactive System Specifications , 2000, Formal Aspects of Computing.

[18]  Howard Bowman,et al.  Analysing Cognitive Behaviour using LOTOS and Mexitl , 1999, Formal Aspects of Computing.

[19]  José Creissac Campos,et al.  Reasoning about Dynamic Information Displays , 2003, DSV-IS.

[20]  David A. Duce,et al.  The Formalization of a Cognitive Architecture and its Application to Reasoning About Human Computer Interaction , 1999, Formal Aspects of Computing.

[21]  Axel Lankenau,et al.  A Rigorous View of Mode Confusion , 2002, SAFECOMP.