Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
Extensions of first order logic
Extensions of first order logic
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
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
Verifying Interlevel Relations within Multi-Agent Systems
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
A temporal-interactivist perspective on the dynamics of mental states
Cognitive Systems Research
An Ambient Intelligent Agent for Relapse and Recurrence Monitoring in Unipolar Depression
AIME '09 Proceedings of the 12th Conference on Artificial Intelligence in Medicine: Artificial Intelligence in Medicine
Hi-index | 0.03 |
In this paper an ambient agent model is presented for automated mindreading based on monitoring a human's interaction with his or her environment. Within this agent model, a cognitive model for the human is assumed to be available. Monitoring foci on a human's interaction with the environment are determined from this cognitive model by automatically deriving representation relations for cognitive states expressed by temporal predicate logical specifications. From these temporal expressions the events are derived that are to be monitored, and from the monitoring information on these events the representation expressions are verified automatically.