Representing and Manipulating Situation Hierarchies using Situation Lattices

Situations, the semantic interpretations of context, provide a better basis for selecting adaptive behaviours than context itself. The definition of situations typically rests on the ability to define logical expressions and inference methods to identify particular situations. In this paper we extend this approach to provide for efficient organisation and selection in systems with large numbers of situations having structured relationships to each other. We apply lattice theory to define a specialisation relationship across situations, and show how this can be used to improve the identification of situations using lattice operators and uncertain reasoning. We demonstrate the technique against a real-world dataset.

[1]  Jennifer Healey,et al.  A Long-Term Evaluation of Sensing Modalities for Activity Recognition , 2007, UbiComp.

[2]  Juan Ye,et al.  Using fibrations for situation identification , 2006 .

[3]  Stephen S. Yau,et al.  Support for situation awareness in trustworthy ubiquitous computing application software , 2006, Softw. Pract. Exp..

[4]  Seng Wai Loke Representing and reasoning with situations for context-aware pervasive computing: a logic programming perspective , 2004, Knowl. Eng. Rev..

[5]  Bill N. Schilit,et al.  Context-aware computing applications , 1994, Workshop on Mobile Computing Systems and Applications.

[6]  Bernadette Charron-Bost,et al.  Concerning the Size of Logical Clocks in Distributed Systems , 1991, Inf. Process. Lett..

[7]  Rebecca Montanari,et al.  Context-Aware Middleware for Anytime, Anywhere Social Networks , 2007, IEEE Intelligent Systems.

[8]  Amitava Mukherjee,et al.  Pervasive Computing: A Paradigm for the 21st Century , 2003, Computer.

[9]  Simon A. Dobson,et al.  A Unified Semantics Space Model , 2007, LoCA.

[10]  Lawrence R. Rabiner,et al.  A tutorial on hidden Markov models and selected applications in speech recognition , 1989, Proc. IEEE.

[11]  Joëlle Coutaz,et al.  Foundations for a Theory of Contextors , 2002, CADUI.

[12]  William A. Woods,et al.  Taxonomic Lattice Structures for Situation Recognition , 1978, TINLAP.

[13]  Kevin Murphy,et al.  A brief introduction to graphical models and bayesian networks , 1998 .

[14]  Paddy Nixon,et al.  Situation determination with reusable situation specifications , 2006, Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOMW'06).

[15]  Paddy Nixon,et al.  A proposed approach to evaluate the accuracy of tag-based location systems , 2007 .

[16]  Agnès Voisard,et al.  An Ontology-Based Approach to Personalized Situation-Aware Mobile Service Supply , 2006, GeoInformatica.

[17]  Andreas Krause,et al.  SenSay: a context-aware mobile phone , 2003, Seventh IEEE International Symposium on Wearable Computers, 2003. Proceedings..

[18]  David Heckerman,et al.  A Tutorial on Learning with Bayesian Networks , 1999, Innovations in Bayesian Networks.

[19]  Meredith Louise Abstract , 1999, Veterinary Record.

[20]  Paddy Nixon,et al.  Hybridising events and knowledge as a basis for building autonomic systems , 2007 .

[21]  Vijay K. Garg,et al.  Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution , 1999, DISC.

[22]  Darren Leigh,et al.  SocialMotion: Measuring the Hidden Social Life of a Building , 2007, LoCA.

[23]  Roy H. Campbell,et al.  Reasoning about Uncertain Contexts in Pervasive Computing Environments , 2004, IEEE Pervasive Comput..

[24]  Jadwiga Indulska,et al.  Modelling and using imperfect context information , 2004, IEEE Annual Conference on Pervasive Computing and Communications Workshops, 2004. Proceedings of the Second.

[25]  Luís Ferreira Pires,et al.  Situations in Conceptual Modeling of Context , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06).

[26]  Bernhard Ganter,et al.  Applied lattice theory: formal concept and analysis , 1997 .