Abstract
Reasoning in Ambient Computing environments requires formal models that represent ambient agents as autonomous logic-based entities, and support sharing and distributed reasoning with the available ambiguous context information. This paper presents an approach from the field of Multi-Context Systems that handles these requirements by modeling contexts as local rule theories in a P2P system and mappings through which the agents exchange context information as defeasible rules, and by performing some type of distributed defeasible reasoning.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
McCarthy, J., Buvač, S.: Formalizing Context (Expanded Notes). In: Aliseda, A., van Glabbeek, R., Westerståhl, D. (eds.) Computing Natural Language, pp. 13–50. CSLI Publications, Stanford (1998)
Ghidini, C., Giunchiglia, F.: Local Models Semantics, or contextual reasoning=locality+compatibility. Artificial Intelligence 127(2), 221–259 (2001)
Brewka, G., Roelofsen, F., Serafini, L.: Contextual Default Reasoning. IJCAI, 268–273 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bikakis, A., Antoniou, G. (2008). Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing. In: Calvanese, D., Lausen, G. (eds) Web Reasoning and Rule Systems. RR 2008. Lecture Notes in Computer Science, vol 5341. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88737-9_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-88737-9_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88736-2
Online ISBN: 978-3-540-88737-9
eBook Packages: Computer ScienceComputer Science (R0)