Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
The invisible future
Principles of component-based design of intelligent agents
Data & Knowledge Engineering
Specification and Verification of Dynamics in Cognitive Agent Models
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Proceedings of the 1st international conference on PErvasive Technologies Related to Assistive Environments
Model-based ambient analysis of human task execution
Proceedings of the 1st international conference on PErvasive Technologies Related to Assistive Environments
An Ambient Agent Model Exploiting Workflow-Based Reasoning to Recognize Task Progress
AmI '08 Proceedings of the European Conference on Ambient Intelligence
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
Ambient intelligence: A survey
ACM Computing Surveys (CSUR)
Methods for model-based reasoning within agent-based Ambient Intelligence applications
Knowledge-Based Systems
Hi-index | 0.00 |
This paper presents an ambient agent-based model that addresses the assessment of driving behaviour. In case of negative assessment, cruise control slows down and stops the car. The agent model has been formally specified in a component-based manner in the form of an executable specification that can be used for prototyping. A number of simulation experiments have been conducted. Moreover, dynamic properties of components at different aggregation levels and interlevel relations between them have been specified and verified.