In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent 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. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Bosse, T., Van Maanen, P. P., & Treur, J. (2007). Simulation and formal analysis of visual attention in cognitive systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4840 LNAI, pp. 463–480). Springer Verlag. https://doi.org/10.1007/978-3-540-77343-6_30
Mendeley helps you to discover research relevant for your work.