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
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
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 decision-theoretic approach to task assistance for persons with dementia
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
| Hi-index | 0.00 |
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition process based on lattice theory and action description logic. The framework minimizes the uncertainty about the prediction of the observed agent's behaviour by dynamically generating new implicit extra-plans. This approach offers an effective solution to actual plan recognition problem in a smart home, in order to provide assistance to persons suffering from cognitive deficits.