Skip to main content

Cooperative Reasoning

  • Chapter
  • First Online:
Decentralized Reasoning in Ambient Intelligence

Part of the book series: SpringerBriefs in Computer Science ((BRIEFSCOMPUTER))

  • 428 Accesses

Abstract

This chapter presents our proposal of a process to perform decentralized reasoning. In the first section we explain the system model on which we base our proposal, which is formalized and explained in the following sections. Finally, we discuss design strategies to implement the service.

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

Access this chapter

eBook
USD 16.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 16.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

References

  1. Anagnostopoulos, C.B., Ntarladimas, Y., Hadjiefthymiades, S.: Situational computing: An innovative architecture with imprecise reasoning. J. Syst. Softw. 80(12), 1993–2014 (2007).http://dx.doi.org/10.1016/j.jss.2007.03.003

    Google Scholar 

  2. Bikakis, A., Patkos, T., Antoniou, G., Plexousakis, D.: A survey of semantics-based approaches for context reasoning in ambient intelligence. In: Bergmann, R., Althoff, K.D., Furbach, U., Schmid, K. (eds.) Proceedings of the Workshop Artificial Intelligence Methods for Ambient Intelligence at the European Conference on Ambient Intelligence (AmI’07), pp. 15–24. Springer, New York (2007)

    Google Scholar 

  3. Cafezeiro, I., Viterbo, J., Rademaker, A., Haeusler, E., Endler, M.: A formal framework for modeling context-aware behavior in ubiquitous computing. In: Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008), pp. 519–533. Springer, New York (2008).

    Google Scholar 

  4. Chen, H., Finin, T., Joshi, A.: An ontology for context-aware pervasive computing environments. Knowledge Engineering Review, Special Issue on Ontologies for Distributed Systems, vol. 18, Number 3, pp. 197–207. Cambridge University Press, New York (2003)

    Google Scholar 

  5. Chen, H., Finin, T., Joshi, A.: A context broker for building smart meeting rooms. In: Proceedings of the Knowledge Representation and Ontology for Autonomous Systems Symposium, pp. 53–60. Honolulu, Hawaii (2004).

    Google Scholar 

  6. Cugola, G., Jacobsen, H.A.: Using publish/subscribe middleware for mobile systems. ACM SIGMOBILE Mobile Comput. Commun. Rev. 6(4), 25–33 (2002).http://doi.acm.org/10.1145/643550.643552

    Google Scholar 

  7. Malcher, M.A., Endler, M.: A context-aware collaborative presentation system for handhelds. In: Proceedings of the 5th Brazilian Symposim of Collaborative Systems (SBSC 2008), pp. 1–11 (2008). IEEE Computer Society, Los Alamitos, CA, USA.

    Google Scholar 

  8. Soldatos, J., Dimakis, N., Stamatis, K., Polymenakos, L.: A breadboard architecture for pervasive context-aware services in smart spaces: middleware components and prototype applications. Pers. Ubiqui. Comput. J. 11(3), 193–212 (2007) . doi: 10.1007/s00779-006-0102-7

  9. Wang, X., Dong, J., Chin, C., Hettiarachchi, S., Zhang, D.: Semantic space: an infrastructure for smart spaces. Pervasive Comput. 3(3), 32–39 (2004)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 2012 The Author(s)

About this chapter

Cite this chapter

Viterbo, J., Endler, M. (2012). Cooperative Reasoning. In: Decentralized Reasoning in Ambient Intelligence. SpringerBriefs in Computer Science. Springer, London. https://doi.org/10.1007/978-1-4471-4168-6_4

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-4168-6_4

  • Published:

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-4471-4167-9

  • Online ISBN: 978-1-4471-4168-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics