Strategies for contextual reasoning with conflicts in ambient intelligence

Ambient Intelligence environments host various agents that collect, process, change and share the available context information. The imperfect nature of context, the open and dynamic nature of such environments and the special characteristics of ambient agents have introduced new research challenges in the study of Distributed Artificial Intelligence. This paper proposes a solution based on the Multi-Context Systems paradigm, according to which local knowledge of ambient agents is encoded in rule theories (contexts), and information flow between agents is achieved through mapping rules that associate concepts used by different contexts. To resolve potential inconsistencies that may arise from the interaction of contexts through their mappings (global conflicts), we use a preference ordering on the system contexts, which may express the confidence that an agent has in the knowledge imported by other agents. On top of this model, we have developed four alternative strategies for global conflicts resolution, which mainly differ in the type and extent of context and preference information that is used to resolve potential conflicts. The four strategies have been respectively implemented in four versions of a distributed algorithm for query evaluation and evaluated in a simulated P2P system.

[1]  Marek Hatala,et al.  Rules and ontologies in support of real-time ubiquitous application , 2005, J. Web Semant..

[2]  Lalana Kagal,et al.  A Semantic Context-Aware Access Control Framework for Secure Collaborations in Pervasive Computing Environments , 2006, SEMWEB.

[3]  Sheila A. McIlraith,et al.  Exploiting Preferences over Information Sources to Efficiently Resolve Inconsistencies in Peer-to-peer Query Answering , 2007 .

[4]  Ngoc Thanh Nguyen,et al.  Actions and social interactions in multi-agent systems , 2008, Knowledge and Information Systems.

[5]  Harry Chen,et al.  Semantic Web in a Pervasive Context-Aware Architecture , 2003 .

[6]  Maria Papadopouli,et al.  A Semantics-Based Framework for Context-Aware Services: Lessons Learned and Challenges , 2007, UIC.

[7]  Germano Resconi,et al.  Agents’ model of uncertainty , 2008, Knowledge and Information Systems.

[8]  Jadwiga Indulska,et al.  Modelling and using imperfect context information , 2004, IEEE Annual Conference on Pervasive Computing and Communications Workshops, 2004. Proceedings of the Second.

[9]  Donald Nute,et al.  Defeasible Deontic Logic , 2010 .

[10]  Luciano Serafini,et al.  Comparing formal theories of context in AI , 2004, Artif. Intell..

[11]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[12]  Diego Calvanese,et al.  Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach , 2005, DBPL.

[13]  environmet.,et al.  JXTA : A Network Programming Environment , 2022 .

[14]  Marius Mikalsen,et al.  Context: Representation and Reasoning. Representing and Reasoning about Context in a Mobile Environment , 2005, Rev. d'Intelligence Artif..

[15]  Nicholas R. Jennings,et al.  Engineering Executable Agents using Multi-context Systems , 2002, J. Log. Comput..

[16]  Fausto Giunchiglia,et al.  Local Models Semantics, or Contextual Reasoning = Locality + Compatibility , 1998, KR.

[17]  Reto Krummenacher,et al.  Sharing Context Information in Semantic Spaces , 2005, OTM Workshops.

[18]  Ian A. Mason,et al.  Propositional Logic of Context , 1993, AAAI.

[19]  Fausto Giunchiglia,et al.  Multilanguage hierarchical logics (or: how we can do without modal logics) , 1994, CNKBS.

[20]  John McCarthy,et al.  Generality in artificial intelligence , 1987, Resonance.

[21]  Jin Song Dong,et al.  Semantic Space: an infrastructure for smart spaces , 2004, IEEE Pervasive Computing.

[22]  Michael J. Maher,et al.  Embedding defeasible logic into logic programming , 2006, Theory Pract. Log. Program..

[23]  Matteo Cristani,et al.  Approximate solutions of moral dilemmas in multiple agent system , 2009, Knowledge and Information Systems.

[24]  Dag Westerståhl,et al.  Computing Natural Language , 1998 .

[25]  Floris Roelofsen,et al.  Contextual Default Reasoning , 2007, IJCAI.

[26]  Philippe Chatalic,et al.  Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems , 2006, ECAI.

[27]  Tao Gu,et al.  Ontology based context modeling and reasoning using OWL , 2004, IEEE Annual Conference on Pervasive Computing and Communications Workshops, 2004. Proceedings of the Second.

[28]  Floris Roelofsen,et al.  Minimal and Absent Information in Contexts , 2005, IJCAI.

[29]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

[30]  Gabriel M. Kuper,et al.  A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems , 2003, DBISP2P.

[31]  Michael J. Maher,et al.  Argumentation Semantics for Defeasible Logic , 2004, J. Log. Comput..

[32]  Lluis Godo,et al.  A Logical Framework to Represent and Reason about Graded Preferences and Intentions , 2008, KR.

[33]  Fabien L. Gandon,et al.  Semantic web technologies to reconcile privacy and context awareness , 2003, Journal of Web Semantics.

[34]  Guido Governatori,et al.  Contextual deliberation of cognitive agents in defeasible logic , 2007, AAMAS '07.

[35]  Roy H. Campbell,et al.  An infrastructure for context-awareness based on first order logic , 2003, Personal and Ubiquitous Computing.

[36]  Claudio Bettini,et al.  Loosely coupling ontological reasoning with an efficient middleware for context-awareness , 2005, The Second Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services.

[37]  François Goasdoué,et al.  Distributed Reasoning in a Peer-to-Peer Setting , 2004, ECAI.

[38]  Michael J. Maher.  A Model-Theoretic Semantics for Defeasible Logic , 2002, Paraconsistent Computational Logic.

[39]  Diego Calvanese,et al.  Logical foundations of peer-to-peer data integration , 2004, PODS '04.

[40]  Jani Mäntyjärvi,et al.  Managing Context Information in Mobile Devices , 2003, IEEE Pervasive Comput..

[41]  Hung Keng Pung,et al.  A middleware for building context-aware mobile services , 2004, 2004 IEEE 59th Vehicular Technology Conference. VTC 2004-Spring (IEEE Cat. No.04CH37514).

[42]  Tapio Seppänen,et al.  RDF-based model for context-aware reasoning in rich service environment , 2005, Third IEEE International Conference on Pervasive Computing and Communications Workshops.

[43]  Timothy W. Finin,et al.  sTuples: semantic tuple spaces , 2004, The First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services, 2004. MOBIQUITOUS 2004..

[44]  Grigoris Antoniou,et al.  A Survey of Semantics-Based Approaches for Context Reasoning in Ambient Intelligence , 2007, AmI Workshops.

[45]  Fausto Giunchiglia,et al.  Data Management for Peer-to-Peer Computing : A Vision , 2002, WebDB.

[46]  Andreas von Hessling.  Semantic User Profiles and their Applications in a Mobile Environment , 2004 .

[47]  J. McCarthy,et al.  Formalizing Context (Expanded Notes) , 1994 .

[48]  Anni-Yasmin Turhan,et al.  Pushing doors for modeling contexts with OWL DL - a case study , 2006, Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOMW'06).

[49]  Jie Zhao,et al.  Schema Mediation in Peer Data Management Systems , 2011, Int. J. Cooperative Inf. Syst..