¹DOMUS laboratory, Department of Computer Science, University of Sherbrooke 2500, boul. de l’Universit´e, Sherbrooke, Qu´ebec, Canada, J1K2R1
²D´epartement d’Informatique et de Mathmatique, Universit´e du Qu´ebec `a Chicoutimi 555, boul. de l’Universit´e, Chicoutimi, Qu´ebec, Canada, G7H2B1

---

Abstract—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. An implementation of this model was incorporated in our smart home laboratory, in order to validate the approach. We currently planning the experimentation phase of the system, which will be based on a set of real case scenarios.

Index Terms—smart home, plan recognition, algebraic model, cognitive assistance, lattice theory, description logic, assistant agent

[PDF]

Cite: Bruno Bouchard, Sylvain Giroux, Abdenour Bouzouane, "A Smart Home Agent for Plan Recognition of Cognitively-impaired Patients," Journal of Computers vol. 1, no.5, pp. 53-62, 2006.