A formal theory of plan recognition and its implementation
Reasoning about plans
Bayesian Models for Keyhole Plan Recognition in an Adventure Game
User Modeling and User-Adapted Interaction
Techniques for Plan Recognition
User Modeling and User-Adapted Interaction
Natural methods for robot task learning: instructive demonstrations, generalization and practice
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Inferring Activities from Interactions with Objects
IEEE Pervasive Computing
Towards an Authority Sharing Based on the Description Logic Action Model
IAT '05 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
A probabilistic reasoning framework for smart homes
Proceedings of the 5th international workshop on Middleware for pervasive and ad-hoc computing: held at the ACM/IFIP/USENIX 8th International Middleware Conference
Privacy implications of context-aware services
Proceedings of the Fourth International ICST Conference on COMmunication System softWAre and middlewaRE
Modeling discussion topics in interactions with a tablet reading primer
Proceedings of the 2013 international conference on Intelligent user interfaces
| Hi-index | 0.00 |
We propose a formal framework to keyhole plan recognition based on lattice theory and action description logic. This framework minimizes the uncertainly about the prediction of the observed agent's behaviour by dynamically generating new implicit intentions. This approach offers an effective solution to actual recognition of ADL in a smart home, in order to provide assistance to persons suffering from cognitive deficiencies.