Skip to main content
Springer Nature Link
Log in

A Formal Characterization of Vagueness and Granularity for Context-Aware Mobile and Ubiquitous Computing

  • Conference paper
Ubiquitous Computing Systems (UCS 2006)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4239))

Included in the following conference series:

  • 946 Accesses

Abstract

In this article, a formal approach for modeling central concepts of context-awareness in ubiquitous and mobile computing is introduced. The focus is on an appropriate handling of issues of vagueness and granularity in ubiquitous computing environments. A formalization of perceptual and sensory uncertainty and a characterization of granularity are applied for modeling three central aspects of context-awareness: context as retrieved from sensors, context for representing relevance, and context as unfocussed background information. The notions are developed and demonstrated with respect to the special case of spatial contexts, but are sufficiently general to also cover other types of context. Use of the characterized concepts is motivated with an example of ongoing work on ontology design for ubiquitous computing environments.

This work was supported by Seondo project of MIC, Korea, by the UCN Project, the MIC 21st Century Frontier R&D Program in Korea, and by the BK 21 Project in 2006.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Allen, J.: Towards a general theory of action and time. Artificial Intelligence 23, 123–154 (1984)

    Article  MATH  Google Scholar 

  2. Asher, N., Vieu, L.: Toward a geometry for common sense: A semantics and a complete axiomatization for mereotopology. In: Mellish, C. (ed.) Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pp. 846–852. Morgan Kaufmann, San Francisco (1995)

    Google Scholar 

  3. Bittner, T., Smith, B.: A theory of granular partitions. In: Duckham, M., Goodchild, M.F., Worboys, M.F. (eds.) Foundations of Geographic Information Science, pp. 117–151. Taylor & Francis, London (2003)

    Chapter  Google Scholar 

  4. Borgo, S., Guarino, N., Masolo, C.: A pointless theory of space based on strong connection and congruence. In: Aiello, L.C., Doyle, J., Shapiro, S. (eds.) KR 1996: Principles of Knowledge Representation and Reasoning, pp. 220–229. Morgan Kaufmann, San Francisco (1996)

    Google Scholar 

  5. Brézillon, P.: Context in problem solving: A survey. The Knowledge Engineering Review 14(1), 1–34 (1999)

    Article  Google Scholar 

  6. Casati, R., Varzi, A.C.: Parts and places: the structure of spatial representations. MIT Press, Cambridge (1999)

    Google Scholar 

  7. Chalmers, D., Dulay, N., Sloman, M.: Towards reasoning about context in the presence of uncertainty. In: Proceedings of the Workshop on Advanced Context Modelling, Reasoning And Management at UbiComp, Nottingham, UK (2004)

    Google Scholar 

  8. Chen, G., Kotz, D.: A survey of context-aware mobile computing research. Technical Report TR2000-381, Dept. of Computer Science, Dartmouth College (November 2000), ftp://ftp.cs.dartmouth.edu/TR/TR2000-381.ps.Z

  9. Cohn, A.G., Hazarika, S.M.: Qualitative spatial representation and reasoning: An overview. Fundamenta Informaticae 46(1-2), 1–29 (2001)

    MATH  MathSciNet  Google Scholar 

  10. Dey, A.K., Abowd, G.D.: Towards a better understanding of context and context-awareness. In: Workshop on The What, Who, Where, When, and How of Context-Awareness, as part of the 2000 Conference on Human Factors in Computing Systems (CHI 2000) (2000)

    Google Scholar 

  11. Dugat, V., Gambarotto, P., Larvor, Y.: Qualitative geometry for shape recognition. Applied Intelligence 17, 253–263 (2002)

    Article  MATH  Google Scholar 

  12. Eschenbach, C.: Viewing composition tables as axiomatic systems. In: FOIS 2001: Proceedings of the international conference on Formal Ontology in Information Systems, pp. 93–104. ACM Press, New York (2001)

    Chapter  Google Scholar 

  13. Galton, A.: Qualitative Spatial Change. Oxford University Press, Oxford (2000)

    Google Scholar 

  14. Guha, R., McCarthy, J.: Varieties of contexts. In: Blackburn, P., Ghidini, C., Turner, R.M., Giunchiglia, F. (eds.) Modeling and Using Context, pp. 164–177 (2003)

    Google Scholar 

  15. Hightower, J., Borriello, G.: A survey and taxonomy of location systems for ubiquitous computing. Computer 34(8), 57–66 (2001)

    Article  Google Scholar 

  16. Hobbs, J.: Granularity. In: Proceedings of IJCAI 1985, pp. 432–435 (1985)

    Google Scholar 

  17. Hong, D., Woo, W.: A 3d vision-based ambient user interface. International Journal of Human Computer Interaction 20(3), 271–284 (2006)

    Article  Google Scholar 

  18. Jiang, C., Steenkiste, P.: A hybrid location model with a computable location identifier for ubiquitous computing. In: Borriello, G., Holmquist, L.E. (eds.) UbiComp 2002. LNCS, vol. 2498, pp. 246–263. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  19. Jung, W., Woo, W.: Indoor orientation tracking using ubiTrack. In: Proc. ubiCNS (2005)

    Google Scholar 

  20. Kosslyn, S.: Image and Mind. The MIT Press, Cambridge (1980)

    Google Scholar 

  21. Leonhardt, U.: Supporting Location Awareness in Open Distributed Systems. PhD thesis, Imperial College, London, UK (1998)

    Google Scholar 

  22. Palmer, S.E.: Vision science—photons to phenomenology. MIT Press, Cambridge (1999)

    Google Scholar 

  23. Randell, D., Cui, Z., Cohn, A.: A spatial logic based on region and connection. In: Principles of Knowledge Representation and Reasoning: Proc. 3rd Intl. Conf (KR 1992), pp. 165–176. Morgan Kaufmann, San Francisco (1992)

    Google Scholar 

  24. Schilit, B.N., Theimer, M.M.: Disseminating active map information to mobile hosts. IEEE Network 8(5), 22–32 (1994)

    Article  Google Scholar 

  25. Schilit, B.N., Adams, N.I., Want, R.: Context-aware computing applications. In: Proceedings of the Workshop on Mobile Computing Systems and Applications, pp. 85–90. IEEE Computer Society, Los Alamitos (1994)

    Chapter  Google Scholar 

  26. Schmidt, A., Beigl, M., Gellersen, H.-W.: There is more to context than location. Computers and Graphics 23(6), 893–901 (1999)

    Article  Google Scholar 

  27. Schmidtke, H.R.: A geometry for places: Representing extension and extended objects. In: Kuhn, W., Worboys, M.F., Timpf, S. (eds.) COSIT 2003. LNCS, vol. 2825, pp. 221–238. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  28. Schmidtke, H.R.: Aggregations and constituents: geometric specification of multi-granular objects. Journal of Visual Languages and Computing 16(4), 289–309 (2005)

    Article  Google Scholar 

  29. Schmidtke, H.R.: Granularity as a parameter of context. In: Dey, A.K., Kokinov, B., Leake, D.B., Turner, R. (eds.) CONTEXT 2005. LNCS, vol. 3554, pp. 450–463. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  30. Strang, T., Linnhoff-Popien, C.: A context modeling survey. In: Workshop on Advanced Context Modelling, Reasoning and Management as part of UbiComp 2004 - The Sixth International Conference on Ubiquitous Computing (2004)

    Google Scholar 

  31. Suppes, P., Zinnes, J.L.: Basic measurement theory. In: Luce, R.D., Bush, R.R., Galanter, E. (eds.) Handbook of Mathematical Psychology, pp. 1–76. John Wiley & Sons, New York (1963)

    Google Scholar 

  32. van Deemter, K.: The sorites fallacy and the context-dependence of vague predicates. In: Kanazawa, M., Pinon, C., de Swart, H. (eds.) Quantifiers, Deduction, and Context, pp. 59–86. CSLI Publications, Stanford (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. GIST U-VR Lab, Gwangju, 500-712, Republic of Korea

    Hedda R. Schmidtke & Woontack Woo

Authors
  1. Hedda R. Schmidtke
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Woontack Woo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. of Computer Engineering, Sungkyunkwan University, Republic of Korea

    Hee Yong Youn

  2. Graduate School of Information and Communication Engineering, Ajou University, Suwon, Republic of Korea

    Minkoo Kim

  3. The University of Tokyo, 7-3-1 Hongo, Bunkyo, 113-8656, Tokyo, Japan

    Hiroyuki Morikawa

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schmidtke, H.R., Woo, W. (2006). A Formal Characterization of Vagueness and Granularity for Context-Aware Mobile and Ubiquitous Computing. In: Youn, H.Y., Kim, M., Morikawa, H. (eds) Ubiquitous Computing Systems. UCS 2006. Lecture Notes in Computer Science, vol 4239. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11890348_12

Download citation

  • DOI: https://doi.org/10.1007/11890348_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-46287-3

  • Online ISBN: 978-3-540-46289-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics