Simulation and formal analysis of visual attention

In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of an agent-based system that supports a naval officer in its task to compile a tactical picture of the situation in the field. A case study is described in which the model is used to simulate a human subject's attention. The formal analysis is based on temporal relational specifications for attentional states and for different stages of attentional processes. The model has been automatically verified against these specifications.

[1]  J. C. Johnston,et al.  Attention and performance. , 2001, Annual review of psychology.

[2]  B. Baars.  A cognitive theory of consciousness , 1988 .

[3]  Xing Xie,et al.  A visual attention model for adapting images on small displays , 2003, Multimedia Systems.

[4]  David B. Kaber,et al.  Comparison of Performance Effects of Adaptive Automation Applied to Various Stages of Human-Machine System Information Processing , 2002 .

[5]  Randall W. Hill,et al.  Modeling Dynamic Perceptual Attention in Complex Virtual Environments , 2005, IVA.

[6]  Tibor Bosse,et al.  A Cognitive Model for Visual Attention and Its Application , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[7]  Peter Carruthers,et al.  The illusion of conscious will , 2007, Synthese.

[8]  I. Rock,et al.  Inattentional blindness: Perception without attention. , 1998 .

[9]  J. Theeuwes.  Endogenous and Exogenous Control of Visual Selection , 1994, Perception.

[10]  Georges Rey.  Philosophy of mind. , 2006, Wiley interdisciplinary reviews. Cognitive science.

[11]  Toshiyuki Inagaki,et al.  Adaptive Automation: Sharing and Trading of Control , 2001 .

[12]  Gordon D. Logan,et al.  THE CODE THEORY OF VISUAL ATTENTION : AN INTEGRATION OF SPACE-BASED AND OBJECT-BASED ATTENTION , 1996 .

[13]  Christof Koch,et al.  A Model of Saliency-Based Visual Attention for Rapid Scene Analysis , 2009 .

[14]  Lisanne Bainbridge,et al.  Ironies of automation , 1982, Autom..

[15]  Catholijn M. Jonker,et al.  A temporal-interactivist perspective on the dynamics of mental states , 2003, Cognitive Systems Research.

[16]  Tibor Bosse,et al.  Specification and Verification of Dynamics in Cognitive Agent Models , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[17]  Ana Paiva,et al.  Using Anticipation to Create Believable Behaviour , 2006, AAAI.

[18]  Tibor Bosse,et al.  Temporal differentiation of attentional processes , 2007 .

[19]  C. Koch,et al.  Computational modelling of visual attention , 2001, Nature Reviews Neuroscience.

[20]  C. Eriksen,et al.  Visual attention within and around the field of focal attention: A zoom lens model , 1986, Perception & psychophysics.

[21]  Yaoru Sun,et al.  Hierarchical object-based visual attention for machine vision , 2003 .

[22]  J. Deutsch.  Perception and Communication , 1958, Nature.

[23]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[24]  Pierre Jacob,et al.  What Minds Can Do: Intentionality in a Non-Intentional World , 1997 .

[25]  M. Posner,et al.  Orienting of Attention* , 1980, The Quarterly journal of experimental psychology.

[26]  David LaBerge,et al.  Attentional control: brief and prolonged , 2002, Psychological research.

[27]  G. Logan.  The CODE theory of visual attention: an integration of space-based and object-based attention. , 1996, Psychological review.

[28]  Hong Hong,et al.  Human Cognition and Social Agent Technology , 2001, J. Educ. Technol. Soc..

[29]  Tibor Bosse,et al.  LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn , 2005, IEA/AIE.

[30]  S. Grossberg.  The Attentive Brain , 1995 .

[31]  J. Duncan.  Selective attention and the organization of visual information. , 1984, Journal of experimental psychology. General.

[32]  M F Land,et al.  The knowledge base of the oculomotor system. , 1997, Philosophical transactions of the Royal Society of London. Series B, Biological sciences.

[33]  Tibor Bosse,et al.  Simulation and Formal Analysis of Visual Attention in Cognitive Systems , 2008, WAPCV.

[34]  D. Whitteridge.  Movements of the eyes R. H. S. Carpenter, Pion Ltd, London (1977), 420 pp., $27.00 , 1979, Neuroscience.

[35]  Mark H. Bickhard,et al.  Representational content in humans and machines , 1993, J. Exp. Theor. Artif. Intell..