Skip to main content
SpringerLink
Log in

An infrastructure for context-awareness based on first order logic

  • Original Article
  • Published:
Personal and Ubiquitous Computing Aims and scope Submit manuscript

Abstract

Context simplifies and enriches human-human interaction. However, enhancing human-computer interaction through the use of context remains a difficult task. Applications in pervasive and mobile environments need to be context-aware so that they can adapt themselves to rapidly changing situations. One of the problems is that there is no common, reusable model for context used by these environments. In this paper, we propose a model of context that is based on first order predicate calculus. The first order model allows complex rules involving contexts to be written. It also enables automated inductive and deductive reasoning to be done on contextual information. The first order model allows an expressive description of context using Boolean operators and existential and universal quantifiers. Based on this model, an infrastructure to enable context-awareness in ubiquitous computing environments has been developed. The infrastructure allows the easy development and deployment of various sensors and context-aware applications. It also allows distributed reasoning to take place. This context infrastructure is part of our smart spaces framework for ubiquitous computing, Gaia.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1.
Fig. 2.

Similar content being viewed by others

References

  1. Dey AK et al. (2001) A conceptual framework and a toolkit for supporting therapid prototyping of context-aware applications. Cont Aw Comput-HCI J 16:97–116

    Google Scholar 

  2. Hong JI et al. (2001) An infrastructure approach to context-aware computing. Cont Aw Comput-HCI J 16:287–303

    Google Scholar 

  3. Shafer SAN et al. (2001) Interaction issues in context-aware interactive environments. Cont Aw Comput-HCI J 16

  4. Bouquet P et al. (2001) Context-aware distributed applications. Cont Aw Comput-HCI J 16:213–228

    Google Scholar 

  5. Castro P et al. (2000) Managing context for Internet video conferences: the multimedia Internet recorder and archive. In: Proceedings of Multimedia and Computer Networks 2000, San Jose, CA, January 2000

  6. Cerqueira R et al. (2001) Gaia: a development infrastructure for active spaces. In: Proceedings of the Workshop on Application Models and Programming Tools for Ubiquitous Computing (held in conjunction with the UBICOMP 2001), Atlanta, GA, September 2001

  7. Cerqueira R et al. (2001) Support for mobility in active spaces. In: Proceedings of the Workshop on Middleware for Mobile Computing (held in conjunction with the IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing), Heidelberg, Germany, November 2001

  8. Román M et al. (2001) GaiaOS: an infrastructure for active spaces. Technical Report UIUCDCS-R-2001–2224 UILU-ENG-2001–1731, Universiy of Illinois at Urbana-Champaign

  9. Winograd T (2001) Architectures for context. Cont Aw Comput-HCI J 16:401–419

    Google Scholar 

  10. Johanson B et al. (2000) The event heap: an enabling infrastructure for interactive workspaces. http://graphics.stanford.edu/papers/eheap/. Cited February 2000

  11. Pascoe J et al. (1999) Issues in developing context-aware computing. In: Proceedings of the International Symposium on Handheld and Ubiquitous Computing, Heidelberg, Germany, September 1999

  12. Ranganathan A, McGrath RE, Campbell RH and Mickunas MD (2003) Ontologies in a pervasive computing environment. In: Proceedings of the Workshop on Ontologies and Distributed Systems (part of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), Acapulco, Mexico, 9 August 2003

  13. Shmueli O (1987) Decidability and expressiveness aspects of logic queries. In: Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on the Principles of Database Systems, San Diego, CA, 23–25 March 1987

  14. Chandra AK et al. (1985) Horn clauses queries and generalization. J Log Program 1:1–15

    Article  MathSciNet  Google Scholar 

  15. Jarke M et al. (1984) An optimizing PROLOG front-end to a relational query system. In: Proceedings of the ACM SIGMOD ‘84 Conference, Boston, MA, June 1984

  16. Schilit WN (1995) A context-aware system architecture for mobile distributed computing. Dissertation, Columbia University

  17. Berners-Lee T et al. (2001) A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities. http://www.scientificamerican.com/2001/0501issue/0501berners-lee.html. Cited 2001

  18. Guarino N (1998) Formal ontology in information systems. In: Proceedings of FOIS’98, Trento, Italy, 6–8 June 1998

  19. Al-Muhtadi J, Ranganathan A, Campbell RH and Mickunas MD (2003) Cerberus: a context-aware security scheme for smart spaces. In: Proceedings of the IEEE International Conference on Pervasive Computing and Communications (PerCom 2003), Dallas-Fort Worth, TX, 23–26 March 2003

  20. Román M, Hess CK, Cerqueira R, Ranganathan A, Campbell RH and Nahrstedt K (2002) Gaia: a middleware infrastructure to enable active spaces. IEEE Perv Comput 10-12:74–83

    Google Scholar 

  21. Hess CK, Román M and Campbell RH (2002) Building applications for ubiquitous computing environments. In: Proceedings of the International Conference on Pervasive Computing (Pervasive 2002), Zurich, Switzerland, 26–28 August 2002

  22. Ranganathan A, Campbell R, Ravi A and Mahajan A (2002) ConChat: a context-aware chat program. IEEE Perv Comput 7-9:52–58

    Google Scholar 

  23. Sagonas K, Swift T, Warren D (1994) XSB as an efficient deductive database engine. In: Proceedings of the 1994 ACM SIGMOD International Conference on the Management of Data, Minneapolis, MN, 24–27 May 1994

  24. Horrocks I (2002) DAML+OIL: a description logic for the semantic web. IEEE Bullet Tech Comm Data Engin 25(1):4–9

    Google Scholar 

  25. Horrocks I (1998) The FaCT system in automated reasoning with analytic tableaux and related methods. In: Proceedings of the International Conference Tableaux’98, number 1397 in Lecture Notes in Artificial Intelligence, Springer, Berlin Heidelberg New York

  26. Baader F, Hollunder B, Nebel B, Profitlich H and Franconi E (1992) An empirical analysis of optimization techniques for terminological representation systems. In: Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA, October 1992

  27. Yau S, Karim F, Wang Y, Wang B and Gupta S (2002) Reconfigurable context-sensitive middleware for pervasive computing. IEEE Perv Comput 7-9:33–40

    Google Scholar 

  28. Brown PJ (1996) The Stick-e document: a framework for creating context-aware applications. In: Proceedings of the Electronic Publishing Conference ‘96, Laxenburg, Austria, March 1996

  29. Fels S, Sumi Y, Etani T, Simonet N, Kobayshi K and Mase K (1998) Progress of C-MAP: a context-aware mobile assistant. In: Proceedings of the AAAI 1998 Spring Symposium on Intelligent Environments, Menlo Park, CA, 23–25 March 1998

  30. Ellis G (1992) Compiled hierarchical retrieval. In: Conceptual structures: current research and practice, Ellis Horwood Workshop Series, Ellis Horwood, New York

Download references

Acknowledgements

This research is supported by a grant from the National Science Foundation, NSF CCR 0086094 ITR and NSF 99-72884 EQ.

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Illinois at Urbana-Champaign, USA

    Anand Ranganathan & Roy H. Campbell

Authors
  1. Anand Ranganathan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Roy H. Campbell
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Anand Ranganathan.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ranganathan, A., Campbell, R.H. An infrastructure for context-awareness based on first order logic. Pers Ubiquit Comput 7, 353–364 (2003). https://doi.org/10.1007/s00779-003-0251-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00779-003-0251-x

Keywords

Search

Navigation