Simulation and Formal Analysis of Visual Attention in Cognitive Systems

Authors:
Tibor Bosse;Peter-Paul Maanen;Jan Treur
Affiliations:
Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands;Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands and TNO Human Factors, P.O. Box 23, 3769 ZG Soesterberg, The Netherlands;Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands
Venue:
Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint
Year:
2008

Citing 7
Cited 1

A Model of Saliency-Based Visual Attention for Rapid Scene Analysis

IEEE Transactions on Pattern Analysis and Machine Intelligence
Human Cognition and Social Agent Technology

Human Cognition and Social Agent Technology
Modeling dynamic perceptual attention in complex virtual environments

Lecture Notes in Computer Science
Specification and Verification of Dynamics in Cognitive Agent Models

IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
A Cognitive Model for Visual Attention and Its Application

IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Using anticipation to create believable behaviour

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
A temporal-interactivist perspective on the dynamics of mental states

Cognitive Systems Research

Automated Visual Attention Manipulation

Attention in Cognitive Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.