Abstract
This paper introduces a framework for enabling context-aware behaviors in smart environment applications, with a special emphasis on smart homes and similar scenarios. In particular, an ontology-based architecture is described that allows system designers to specify non trivial situations the system must be able to detect on the basis of available sensory data. Relevant situations may include activities and events that could be prolonged over long periods of time. Therefore, the ontology encodes temporal operators that, once applied to sensory information, allow to efficiently recognize and correlate different human activities and other events whose temporal relationships are contextually important. Special emphasis is devoted to actual representation and recognition of temporally distributed situations. The proof of concept is validated through a thoroughly described example of system usage.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Allen J., (1983), Maintaining knowledge about temporal intervals. Communications of the ACM, 26 (11), pp. 832–843.
Augusto J.C., Liu J., McCullagh P., Wang H., & Yang J.-B., (2008), Management of Uncertainty and Spatio-Temporal Aspects for Monitoring and Diagnosis in a Smart Home. International Journal of Computational Intelligence Systems, 1 (4), pp. 361–378.
Aztiria A., Augusto J.C., Izaguirre A., & Cook D., (2008), Learning Accurate Temporal Relations from User Actions in Intelligent Environments. Proceedings of the Symposium of Ubiquitous Computing and Ambient Intelligence, pp. 274–283. Salamanca, Spain.
Baader F., Calvanese D., McGuinness D., Nardi D., & Patel-Schneider P., (2003), The Description Logic Handbook. New York, NY, USA: Cambridge University Press.
Bettini C., Mascetti S., & Sean Wang X., (2007), Supporting Temporal Reasoning by Mapping Calendar Expressions to Minimal Periodic Sets. Journal of Artificial Intelligence Research, 28 (1), pp. 299–348.
Borgida A., (1996), On the Relative Expressiveness of Description Logics and Predicate Logics. Artificial Intelligence, 82 (1-2), pp. 353–367.
Chalmers M., (2004), A Historical View of Context. Computer Supported Collaborative Work, 13 (3-4), pp. 223–247.
Chen H., Finin T., & Joshi A., (2003), An Ontology for Context Aware Pervasive Computing Environments. Proceedings of the 18th Intl. Joint Conf. on Artificial Intelligence (IJCAI-03), Acapulco, Mexico.
Chen, H., Perich, F., Finin, T., & Joshi A., (04), SOUPA: Standard Ontology for Ubiquitous and Pervasive Applications. Proceedings of the 1st Annual Intl. Conf. on Mobile and Ubiquitous Systems (MobiQuitous2004). Cambridge, MA, USA.
Chen L., Nugent C., Mulvenna M., Finlay D., Hong X., & Poland M., (2008), Using Event Calculus for Behaviour Reasoning and Assistance in a Smart Home. Proceedings of the International Conference On Smart homes and health Telematics (ICOST2008). Ames, IA, USA.
Dey A., (2001), Understanding and Using Context. Personal and Ubiquitous Computing, 5 (1).
Dourish P., (2004), What we talk about when we talk about context. Personal and Ubiquitous Computing, 8 (1), pp. 19–30.
Emerson A.E., & Halpern J., (1986), “Sometimes” and “not never” revisited: on branching versus linear time temporal logic, J. ACM, 33 (1), pp. 151–178.
Gottfried B., Guesgen H.W., & Hübner S., (2006), Spatiotemporal Reasoning for Smart Homes. In Designing Smart Homes (Vol. 4008/2006), pp. 16–34, Springer Berlin/Heidelberg.
Harnad S., (1990), The Symbol Grounding Problem, Physica D, 42, 335–346.
Henricksen K., Indulska J., & Rakotonirainy A., (2002), Modelling Context Information in Pervasive Computing Systems. Proceedings of the Intl. Conf. on Pervasive Computing (Pervasive 2002). Zurich, Switzerland.
Horrocks I., & Sattler U., (2007), A Tableau Decision Procedure for SHOIQ, Journal of Automated Reasoning, 39 (3), pp. 248–276.
Jakkula V.R., & Cook D., (2007), Using Temporal Relations in Smart Home Data for Activity Prediction. Proceedings of the International Conference on Machine Learning (ICML) Workshop on the Induction of Process Models (IPM /ICML 2007). Corvalis.
Jakkula V., & Cook D., (2007), Anomaly Detection using Temporal Data Mining in a Smart Home Environment. Methods of Information in Medicine, 47 (1), pp. 70–75.
Krummenacher R., & Strang T., (2007), Ontology-Based Context-Modeling. Proceedings of the 3rd Workshop on Context Awareness for Proactive Systems (CAPS’07). Guildford, United Kingdom.
Kutz O.L., (2004), E-connections of Abstract Description Systems. Artificial Intelligence, 156 (1), pp. 1–73.
Liao L., Fox, D., & Kautz H., (2005), Location-Based Activity Recognition using Relational Markov Networks, Proceedings of the Advances in Neural Information Processing Systems (NIPS). Edimburg, Scotland.
Lutz C., Wolter F., & Zakharyashev M., (2008), Temporal Description Logics: A Survey, Proceedings of the 15th International Symposium on Temporal Representation and Reasoning (TIME). pp. 3–14. Montreal, Canada.
Mastrogiovanni F., Scalmato A., Sgorbissa A., & Zaccaria R., (2008), An Integrated Approach
to Context Specification and Recognition in Smart Homes. In Smart Homes and Health Telematics, pp. 26–33, Springer Berlin/Heidelberg.
Mastrogiovanni F., Sgorbissa A., & Zaccaria R., (2007), Classification System for Context Representation and Acquisition. In J. A. (Eds.), Advances in Ambient Intelligence. In the Frontiers of Artificial Intelligence and Application (FAIA) Series. IOS Press.
Mastrogiovanni F., Sgorbissa A., & Zaccaria R., (2008), Representing and Reasoning upon Contexts in Artificial Systems. 3rdWorkshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI-08), co-located with the 18th European Conf. on Artificial Intelligence (ECAI 08). Patras, Greece.
McGuinness D. and Borgida A., (1995), Explaining Subsumption in Description Logics. Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI-95), Montréal, Canada.
Monekosso D.N., & Remagnino P., (2007, 11), Monitoring BehaviorWith An Array of Sensors. Computational Intelligence, 23 (4), pp. 420–438.
Morchen F., (2006), A Better Tool that Allen’s Relations for Expressing Temporal Knowledge in Interval Data. Proceedings of the 12th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD). Philadelphia.
Muehlenbrock M., Brdiczka O., Snowdon D., & Meunier J., (2004), Learning to Detect User Activity and Availability from a Variety of Sensor Data. Proceedings of the 2004 IEEE Int.l Conf. on Pervasive Computing (PerCom04). Piscataway, NY, USA.
Rugnone A., Nugent C., Donnelly M., Craig D., Vicario E., Paggetti C., et al., (2007), HomeTL: A Visual Formalism, Based on Temporal Logic, for the Design of Home Based Care. Proceedings of the 3rd annual IEEE Conference on Automation Science and Engineering (CASE), pp. 747–752, Scottsdale, Arizona, USA.
[Salber D., Dey A., & Abowd G., (1999), The Context Toolkit: Aiding the Development of Context-Enabled Applications. Proceedings of the Conf. on Human Factors in Computing Systems (CHI’99), pp. 434-441. Pittsburgh, Pennsylvania, USA.
Strang T., Linnhoff-Popien C., & Frank K., (2003), Applications of a Context Ontology Language. Proceedings of the Int.l Conf. on Software, Telecommunications and Computer Networks. Dubrovnik, Croatia.
Strang, T., Linnhoff-Popien, C., & Frank., K. (2003), CoOL: A Context Ontology Language to enable Contextual Interoperability. Proceedings of the 4th IFIP WG 6.1 Int.l Conf. on Distributed Applications and Interoperable Systems (DAIS2003). Paris, France.
Takahashi H., Tokairin Y., Yamanaka K., Suganuma T., Kinoshita T., Sugawara K., et al., (2007), uEyes: A Ubiquitous Care-Support Service Based on Multiple Contexts Coordination. Proceedings of the 2007 International Symposium on Applications and the Internet, IEEE Computer Society.
Vilain M. & Kautz H., (1989), Constraint propagation algorithms for temporal reasoning: A revisited report. In Readings in Qualitative Reasoning about Physical Systems (pp. 373–381). Morgan Kaufmann Publishers Inc.
Waldmann M., (2007), Combining versus Analyzing Multiple Causes: How Domain Assumptions and Task Context Affect Integration Rules. Cognitive Science, 31, pp. 233–256.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Atlantis Press
About this chapter
Cite this chapter
Mastrogiovanni, F., Scalmato, A., Sgorbissa, A., Zaccaria, R. (2011). Smart Environments and Activity Recognition: A Logic-based Approach. In: Chen, L., Nugent, C., Biswas, J., Hoey, J. (eds) Activity Recognition in Pervasive Intelligent Environments. Atlantis Ambient and Pervasive Intelligence, vol 4. Atlantis Press. https://doi.org/10.2991/978-94-91216-05-3_4
Download citation
DOI: https://doi.org/10.2991/978-94-91216-05-3_4
Published:
Publisher Name: Atlantis Press
Print ISBN: 978-90-78677-42-0
Online ISBN: 978-94-91216-05-3
eBook Packages: Computer ScienceComputer Science (R0)