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
Using anticipation to create believable behaviour
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
LEADSTO: a language and environment for analysis of dynamics by simulation
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
A temporal-interactivist perspective on the dynamics of mental states
Cognitive Systems Research
Estimating emotion regulation capabilities
Proceedings of the 1st international conference on PErvasive Technologies Related to Assistive Environments
Adaptive Estimation of Emotion Generation for an Ambient Agent Model
AmI '08 Proceedings of the European Conference on Ambient Intelligence
Simulation and Formal Analysis of Visual Attention in Cognitive Systems
Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint
Simulation and formal analysis of visual attention
Web Intelligence and Agent Systems
Automated Visual Attention Manipulation
Attention in Cognitive Systems
Augmented metacognition addressing dynamic allocation of tasks requiring visual attention
FAC'07 Proceedings of the 3rd international conference on Foundations of augmented cognition
Multi-operator image retargeting with automatic integration of direct and indirect seam carving
Image and Vision Computing
| Hi-index | 0.00 |
In this paper a cognitive model for visual attention is introduced. The cognitive model is part of the design of a software agent that supports a naval warfare officer in its task to compile a tactical picture of the situation in the field. An executable formal specification of the cognitive model is given and a case study is described in which the model is used to simulate a human subject's attention. The foundation of the model is based on formal specification of representation relations for attentional states, specifying their intended meaning. The model has been automatically verified against these relations.