Simulation and formal analysis of visual attention

Article type: Research Article

Authors: Bosse, Tibor^; | van Maanen, Peter-Paul^; | Treur, Jan

Affiliations: Vrije Universiteit Amsterdam, Dept. of AI, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands | TNO Human Factors, P.O. Box 23, 3769 ZG Soesterberg, The Netherlands

Note: [] Corresponding author. E-mail: [email protected].

Abstract: 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.

Keywords: Visual attention, ambient intelligence, cognitive modeling, simulation, philosophical foundations

DOI: 10.3233/WIA-2009-0156

Journal: Web Intelligence and Agent Systems: An International Journal, vol. 7, no. 1, pp. 89-105, 2009