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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Albrecht, D.W., Zukerman, I., Nicholson, A.: Bayesian Models for Keyhole Plan Recognition in an Adventure Game. User Modelling and User-Adapted Interaction (8), 5–47 (1998)
Baader, F., Calvanese, D., McGuiness, D., Nardi, D., Patel-Schneider, P.: Patel-Schneider P.: The Description Logic Handbook: Theory, Implementation, and applications. Cambridge University Press, United Kingdom (2003)
Bauchet, J., Mayers, A.: Modelisation of ADL in its Environment for Cognitive Assistance. In: Proc. of the 3rd International Conference on Smart homes and health Telematic, ICOST 2005, Sherbrooke, Canada, pp. 3–10 (2005)
Barwise, J., Perry, J.: Situations and Attitudes. MIT press, Cambridge (1983)
Bouzouane, A.: Towards an Authority Sharing Based on The Description Logic of Action Model. In: Proceeding of the Fifth IEEE International Conference on Intelligent Agent Technology (IEEE-IAT 2005), Compigne, France, September 19-22, pp. 277–280 (2005)
Boger, J., Poupart, P., Hoey, J., Boutilier, C., Fernie, G., Mihailidis, A.: A Decision-Theoretic Approach to Task Assistance for Persons with Dementia. In: Proc. of the International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, Scotland, pp. 1293–1299 (2005)
Carberry, S.: Techniques for Plan Recognition. User Modeling and User Adapted-Interaction (11), 31–48 (2001)
Fatiha, L., Lefebvre, B.: A cognitive system for a smart home dedicated to people in loss of autonomy. In: Proc. of the 3rd International Conference on Smart homes and health Telematic, ICOST 2005, Sherbrooke, Canada, pp. 245–254 (2005)
Huet, G., Oppen, D.C.: Equations and Rewrite Rules: A Survey. In: Formal Language Theory: Perspectives and Open Problems, pp. 349–405. Academic Press, London (1980)
Kautz, H.: A Formal Theory of Plan Recognition and its Implementation, Reasoning About Plans. In: Allen, J., Pelavin, R., Tenenberg, J. (eds.), pp. 69–125. Morgan Kaufmann, San Mateo (1991)
Pigot, H., Mayers, A., Giroux, S.: The intelligent habitat and everyday life activity support. In: Proc. of the 5th International conference on Simulations in Biomedicine, Slovenia, April 2-4, 2003, pp. 507–516 (2003)
Patterson, D., Etzioni, O., Fox, D., Kautz, H.: Intelligent ubiquitous computing to support alzheimers patients: Enabling the cognitively disabled. In: Proc. of the 1st Int. Workshop on Ubiquitous Computing for Cognitive Aids, pp. 1–2 (2002)
PowerLoom: Knowledge Representation System, ISI, University of Southern California (2002), http://www.isi.edu/isd/LOOM/PowerLoom/index.html
Reisberg, B., Ferris, S.H., Leon, M.J., Crook, T.: The Global Deterioration Scale for assessment of primary degenerative dementia. AM J Psychiatry, pp. 1136–1139 (1982)
Schmidt, C.F., Sridharan, N.S., Goodson, J.L.: The plan recognition problem: an intersection of psychology and artificial intelligence. Artificial Intelligence, 45–83 (1978)
Vergnes, D., Giroux, S., Chamberland, D.: Interactive Assistant for Activities of Daily Living. In: Proc. of the 3rd International Conference on Smart homes and health Telematic, ICOST 2005, Sherbrooke, Canada, pp. 229–236 (2005)
Wobke, W.: Two Logical Theories of Plan Recognition. Journal of Logic Computation 12(3), 371–412 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bouchard, B., Giroux, S., Bouzouane, A. (2006). A Smart Home Agent for Plan Recognition. In: Lamontagne, L., Marchand, M. (eds) Advances in Artificial Intelligence. Canadian AI 2006. Lecture Notes in Computer Science(), vol 4013. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11766247_3
Download citation
DOI: https://doi.org/10.1007/11766247_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34628-9
Online ISBN: 978-3-540-34630-2
eBook Packages: Computer ScienceComputer Science (R0)