Using event calculus for behaviour reasoning and assistance in a smart home

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5120 LNCS, Issue , 2008, Pages 81-89

  Chen, Liming ^a   Nugent, Chris ^a   Mulvenna, Maurice ^a   Finlay, Dewar ^a   Hong, Xin ^a   Poland, Michael ^a  

^a UNIVERSITY OF ULSTER   (United Kingdom)

Author keywords

Assistive living; Behavior reasoning; Cognitive modeling; Event calculus; Smart homes

Indexed keywords

DIFFERENTIATION (CALCULUS); MATHEMATICAL TECHNIQUES;

ASSISTIVE LIVING; BEHAVIOR REASONING; BEHAVIORAL MODELING; COGNITIVE MODELING; COGNITIVE MODELLING; DAILY ACTIVITY; EVENT CALCULUS; INTERNATIONAL CONFERENCES; LOGIC-BASED APPROACHES; LOGICAL THEORIES; REAL-WORLD; SMART HOMES; SYSTEM ARCHITECTURES; TELEMATICS;

TELECOMMUNICATION;

EID: 49649099058     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69916-3_10     Document Type: Conference Paper

References (20)

1. Philipose, M., Fishkin, K.P., Patterson, D.J., Fox, D., Kautz, H., Hahnel, D.: Inferring activities from interactions with objects. IEEE Pervasive Computing, 50-57 (2004)
2. Boger, J., Poupart, P., Hoey, J., Boutilier, C., 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), pp. 1293-1299 (2005)
3. Kowalski, R.A., Sergot, M.J.: A Logic-based Calculus of Events, New Generation Computing, vol. 4, pp. 67-95 (1986)
4. Albrecht, D.W., Zukerman, I.: Bayesian Models for Keyhole Plan Recognition in an Adventure Game. User Modelling and User-Adapted Interaction (8), 5-47 (1998)
5. 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 Telematics (ICOST 2005), Sherbrooke, Canada, pp. 3-10 (2005)
6. Wobke, W.: Two Logical Theories of Plan Recognition. Journal of Logic Computation 12(3), 371-412 (2002)
7. Hoey, J., Poupart, P.: Solving POMDPs with continuous or large discrete observation spaces. In: Proc. Int'l. Joint Conf. on Artificial Intelligence, pp. 1332-1338 (2005)
8. Bouchard, B., Giroux, S.: A Smart Home Agent for Plan Recognition of Cognitively-impaired Patients. Journal of Computers 1(5), 53-62 (2006)
9. Shanahan, M.P.: Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, Cambridge (1997)
10. Levesque, H.: What Is Planning in the Presence of Sensing? In: Proceedings AAAI 1996, pp. 1139-1146 (1996)
11. Philipose, M., Fishkin, K.P., Patterson, DJ., Fox, D., Kautz, H., Hahnel, D.: Inferring activities from interactions with objects. IEEE Pervasive Computing, 50-57 (2004)
12. Boger, J., Poupart, P., Hoey, J., Boutilier, C., Mihailidis, A.: A Decision-Theoretic Approach to Task Assistance for Persons with Dementia. In: Proc. of the International Joint Conference on Artificial Intelligence (IJCAI2005), pp. 1293-1299 (2005)
13. Kowalski, R.A., Sergot, M.J.: A Logic-based Calculus of Events. New Generation Computing 4, 67-95 (1986)
14. Albrecht, D.W., Zukerman, I.: Bayesian Models for Keyhole Plan Recognition in an Adventure Game. User Modelling and User-Adapted Interaction (8), 5-47 (1998)
15. 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 Telematics (ICOST 2005), Sherbrooke, Canada, pp. 3-10 (2005)
16. Wobke, W.: Two Logical Theories of Plan Recognition. Journal of Logic Computation 12(3), 371-412 (2002)
17. Hoey, J., Poupart, P.: Solving POMDPs with continuous or large discrete observation spaces. In: Proc. Int'l. Joint Conf. on Artificial Intelligence, pp. 1332-1338 (2005)
18. Bouchard, B., Giroux, S.: A Smart Home Agent for Plan Recognition of Cognitivelyimpaired Patients. Journal of Computers 1(5), 53-62 (2006)
19. Shanahan, M.P.: Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, Cambridge (1997)
20. Levesque, H.: What Is Planning in the Presence of Sensing? In: Proceedings AAAI 1996, pp. 1139-1146 (1996)