Simulation and formal analysis of visual attention

Authors:
Tibor Bosse;Peter-Paul van Maanen;Jan Treur
Affiliations:
(Correspd. E-mail: tbosse@cs.vu.nl) Vrije Universiteit Amsterdam, Dept. of AI, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands;Vrije Universiteit Amsterdam, Dept. of AI, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands and TNO Human Factors, P.O. Box 23, 3769 ZG Soesterberg, The Netherlands;Vrije Universiteit Amsterdam, Dept. of AI, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands
Venue:
Web Intelligence and Agent Systems
Year:
2009

Citing 7
Cited 8

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

Attention Manipulation for Naval Tactical Picture Compilation

WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
An Adaptive Human-Aware Software Agent Supporting Attention-Demanding Tasks

PRIMA '09 Proceedings of the 12th International Conference on Principles of Practice in Multi-Agent Systems
An ambient agent model incorporating an adaptive model for environmental dynamics

ACIIDS'10 Proceedings of the Second international conference on Intelligent information and database systems: Part I
An agent model integrating an adaptive model for environmental dynamics

International Journal of Intelligent Information and Database Systems
An ambient agent model for monitoring and analysing dynamics of complex human behaviour

Journal of Ambient Intelligence and Smart Environments
An ambient agent model for monitoring and analysing dynamics of complex human behaviour

Journal of Ambient Intelligence and Smart Environments
An integrated agent model for attention and functional state

IEA/AIE'12 Proceedings of the 25th international conference on Industrial Engineering and Other Applications of Applied Intelligent Systems: advanced research in applied artificial intelligence
A system to support attention allocation: Development and application

Web Intelligence and Agent 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 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.