An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
The role of virtual humans in virtual environment technology and interfaces
Frontiers of human-centred computing, online communities and virtual environments
The invisible future
Modeling and Enactment of Workflow Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Attack Plan Recognition and Prediction Using Causal Networks
ACSAC '04 Proceedings of the 20th Annual Computer Security Applications Conference
Fine-Grained Activity Recognition by Aggregating Abstract Object Usage
ISWC '05 Proceedings of the Ninth IEEE International Symposium on Wearable Computers
Specification and Verification of Dynamics in Cognitive Agent Models
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
A Component-Based Ambient Agent Model for Assessment of Driving Behaviour
UIC '08 Proceedings of the 5th international conference on Ubiquitous Intelligence and Computing
Location-based activity recognition using relational Markov networks
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
An Ambient Intelligent Agent with Awareness of Human Task Execution
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
| Hi-index | 0.00 |
For an ambient intelligent agent to support a human in demanding tasks it is important to be aware of the progress made in a given workflow. It would be possible to interact with the human about this, but this may disturb task performance. In this paper an ambient agent model is presented that is able to obtain such an awareness of the human's progress in a workflow by performing model-based analysis using available workflow models and available observation information. Simulation experiments for the presented the ambient agent model for a case study are discussed, and evaluated by automated formal verification.