Skip to main content
SpringerLink
Log in

A Formal Definition of Situation towards Situation-Aware Computing

  • Conference paper
Visioning and Engineering the Knowledge Society. A Web Science Perspective (WSKS 2009)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5736))

Included in the following conference series:

Abstract

Context-aware computing has emerged as a promising way to build intelligent and dynamic systems in overall computer science areas such as ubiquitous computing, multi-agent systems, and web services. For constructing the knowledgebase in such systems, various context modeling and reasoning techniques were introduced. Recently the concept of situation-awareness is focused beyond the context-awareness. In fact, the concept of situation is not a new one; McCarthy has introduced the theory of situation calculus in 1963 and Reiter et al. formalized it based on action theory. Recent works are trying to exploit the concept of situation for understanding and representing computing elements and environments in more comprehensive way beyond context. However, in such research, the situation is not defined and differentiated from the context clearly. Accordingly, the systems do not take advantage of the situation. In this paper, we provide a formal definition of the situation and differentiate it from the context clearly.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Schilit, B., Adams, N., Want, R.: Context-aware Computing Applications. In: Workshop on Mobile Computing Systems and Applications, pp. 85–90. IEEE Press, Los Alamitos (1994)

    Google Scholar 

  2. Dey, A.K.: Understanding and Using Context. Personal and Ubiquitous Computing-Special Issue on Situated Interaction and Ubiquitous Computing 5(1), 4–7 (2001)

    Google Scholar 

  3. Prekop, P., Burnett, M.: Activities, Context and Ubiquitous Computing. Computer Communications 26, 1168–1176 (2003)

    Article  Google Scholar 

  4. Weyns, D., Schumacher, M., Ricci, A., Viroli, M., Holvoet, T.: Environments in Multiagent Systems. The Knowledge Engineering Review 20(2), 127–141 (2005)

    Article  Google Scholar 

  5. Mcllraith, S.A., Son, T.C., Honglei, Z.: Semantic Web Services. IEEE Intelligent Systems 16(2), 46–53 (2001)

    Article  Google Scholar 

  6. Yau, S.S., Huang, D., Gong, H., Seth, S.: Development and runtime support for situation-aware application software in ubiquitous computing environment. In: 28th International Conference on Computer Software and Applications, pp. 452–472. IEEE Computer Society, Los Alamitos (2004)

    Google Scholar 

  7. McCarthy, J., Hayes, P.J.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence 4, 463–502 (1969)

    MATH  Google Scholar 

  8. Reiter, R.: The situation Calculus Ontology. Electronic News Journal on Reasoning about Actions and Changes (1997), http://www.ida.liu.se/ext/etai/rac/notes/1997/09/note.html

  9. Matheus, C.J., et al.: SAWA: an assistant for higher-level fusion and situation awareness. In: SPIE proceedings, vol. 5813, pp. 75–85 (2005)

    Google Scholar 

  10. Baumgartner, N., Retschitzegger, W.: A Survey of Upper Ontologies for Situation Awareness. In: Knowledge Sharing and Collaborative Engineering. ACTA press (2006)

    Google Scholar 

  11. Strang, T., Linnhoff-popien, C.: A Context Modeling Survey. In: 1st International workshop on Advanced Context modeling, Reasoning and Management at UbiComp 2004 (2004)

    Google Scholar 

  12. Schmidt, A., Beigl, M., Gellersen, H.W.: There is more to Context than Location. Computers and Graphics 23, 893–901 (1999)

    Article  Google Scholar 

  13. Levesque, H.J., Reiter, R., Lespérance, Y., Lin, F., Scherl, R.B.: GOLOG: A logic programming language for dynamic domains. The Journal of Logic Programming 31(1), 59–83 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  14. Yau, S.S., Wang, Y., Huang, D., In, H.P.: Situation-aware contract specification language for middleware for ubiquitous computing. In: Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, pp. 93–99. IEEE Computer Society, Los Alamitos (2003)

    Google Scholar 

  15. Endsley, M.R.: Measurement of situation awareness in dynamic systems. Human Factors 37(1), 65–84 (1995)

    Article  Google Scholar 

  16. Endsley, M.R.: Toward a theory of situation awareness in dynamic systems. Human Factors 37(1), 32–64 (1995)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Graduate School of Information and Communication, Ajou University, Suwon, South Korea

    Minsoo Kim

  2. College of Information Technology, Ajou University, Suwon, South Korea

    Minkoo Kim

Authors
  1. Minsoo Kim
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Minkoo Kim
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Open Research Society, NGO, and American College of Greece, Gerakas Attikis, Greece

    Miltiadis D. Lytras

  2. Dipartemento Tecnologie dell’Informazione, Universitá degli Studi di Milano, Via Bramante 65, 26013, Crema, Italy

    Ernesto Damiani

  3. College of Information Sciences and Technology, The Pennsylvania State University, University Park, USA

    John M. Carroll

  4. College of Education and Human Development, University of Minnesota, Minneapolis, USA

    Robert D. Tennyson

  5. ESSEC Business School, Cergy Pontoise Cedex, France

    David Avison

  6. KMR group at NADA/KTH (Royal Institute of Technology), Lindstedtsv. 5, 100 44, Stockholm, Sweden

    Ambjörn Naeve

  7. Creatifica Associates, Chelveston, Wellingborough, UK

    Adrian Dale

  8. University of Tampere, Finland

    Paul Lefrere

  9. School of Computing and Mathematical Sciences, Private Bag 92006, 1020, Auckland, New Zealand

    Felix Tan

  10. School of Business, Villanova University, Villanova, PA, USA

    Janice Sipior

  11. European Research Center for Information Systems, University of Münster, Leonardo Campus 3, 48149, Münster, Germany

    Gottfried Vossen

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kim, M., Kim, M. (2009). A Formal Definition of Situation towards Situation-Aware Computing. In: Lytras, M.D., et al. Visioning and Engineering the Knowledge Society. A Web Science Perspective. WSKS 2009. Lecture Notes in Computer Science(), vol 5736. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04754-1_56

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04754-1_56

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04753-4

  • Online ISBN: 978-3-642-04754-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation