Preferential Multi-Context Systems

Abstract Multi-Context Systems (MCSs) introduced by Brewka and Eiter are a promising way to interlink decentralized and heterogeneous knowledge contexts. In this paper, we propose Preferential Multi-Context Systems (PMCSs), which provide a framework for incorporating preference over contexts in MCSs. In such a PMCS, its contexts are divided into different strata according to the preference such that information flows only from a context to contexts in the same stratum or less preferred strata. Given a positive integer l , the first l preferred strata of a PMCS are able to fully capture information exchange between the contexts of these strata, and thus these contexts form a new PMCS called the l -section of the original PMCS. We generalize the equilibrium semantics for an MCS to l ≤ -equilibria for a PMCS. An l ≤ -equilibrium represents a belief state that is acceptable at least for the l -section of the given PMCS. We also investigate inconsistency analysis in PMCS and related computational complexity issues.

[1]  Bashar Nuseibeh,et al.  Viewpoints: A Framework for Integrating Multiple Perspectives in System Development , 1992, Int. J. Softw. Eng. Knowl. Eng..

[2]  Grigoris Antoniou,et al.  Defeasible Contextual Reasoning with Arguments in Ambient Intelligence , 2010, IEEE Transactions on Knowledge and Data Engineering.

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

[4]  Grigoris Antoniou,et al.  Distributed Defeasible Contextual Reasoning in Ambient Computing , 2008, AmI.

[5]  Salil P. Vadhan,et al.  Computational Complexity , 2005, Encyclopedia of Cryptography and Security.

[6]  Michael Gelfond,et al.  Logic Programs with Classical Negation , 1990, ICLP.

[7]  Souhila Kaci,et al.  Weakening conflicting information for iterated revision and knowledge integration , 2001, Artificial Intelligence.

[8]  Thomas Eiter,et al.  Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems , 2007, AAAI.

[9]  Anthony Hunter,et al.  On the measure of conflicts: Shapley Inconsistency Values , 2010, Artif. Intell..

[10]  Grigoris Antoniou,et al.  Strategies for contextual reasoning with conflicts in ambient intelligence , 2010, Knowledge and Information Systems.

[11]  Antonius Weinzierl,et al.  Managed Multi-Context Systems , 2011, IJCAI.

[12]  Bashar Nuseibeh,et al.  ViewPoints: meaningful relationships are difficult! , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[13]  Antonius Weinzierl,et al.  Preference-Based Inconsistency Assessment in Multi-Context Systems , 2010, JELIA.

[14]  Weiru Liu,et al.  Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging , 2009, Fundam. Informaticae.

[15]  Gerhard Brewka,et al.  Preferences, Contexts and Answer Sets , 2007, ICLP.

[16]  Weiru Liu,et al.  Measuring the significance of inconsistency in the Viewpoints framework , 2013, Sci. Comput. Program..

[17]  Thomas Eiter,et al.  Distributed Evaluation of Nonmonotonic Multi-context Systems , 2015, J. Artif. Intell. Res..

[18]  Bashar Nuseibeh,et al.  Making inconsistency respectable in software development , 2001, J. Syst. Softw..

[19]  Kewen Wang,et al.  Possibilistic Reasoning in Multi-Context Systems: Preliminary Report , 2012, PRICAI.

[20]  Miroslaw Truszczynski,et al.  Preferences and Nonmonotonic Reasoning , 2008, AI Mag..

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

[22]  Marsha Chechik,et al.  2nd international workshop on living with inconsistency , 2001, SOEN.

[23]  Antonius Weinzierl,et al.  Finding explanations of inconsistency in multi-context systems , 2010, Artif. Intell..