Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract)

Establishing information exchange between existing knowledge-based systems can lead to devastating inconsistency. Automatic resolution of inconsistency often is unsatisfactory, because any modification of the information flow may lead to bad or even dangerous conclusions. Methods to identify and select preferred repairs of inconsistency are thus needed. In this work, we leverage the expressive power and generality of Multi-Context Systems (MCS), a formalism for information exchange, to select most preferred repairs, by use of a meta-reasoning transformation. As for computational complexity, finding preferred repairs is not higher than the base case; finding most-preferred repairs is higher, yet worst-case optimal.

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

[2]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[3]  Stefan Ellmauthaler.  Generalizing Multi-Context Systems for Reactive Stream Reasoning Applications , 2013, ICCSW.

[4]  Georg Gottlob,et al.  Complexity Results for Nonmonotonic Logics , 1992, J. Log. Comput..

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

[6]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[7]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[8]  Georg Gottlob,et al.  Complexity and expressive power of logic programming , 2001, CSUR.

[9]  Michael Gelfond,et al.  Logic Programs with Consistency-Restoring Rules , 2003 .

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

[11]  Yves Le Traon,et al.  Information Dependencies in MCS: Conviviality-Based Model and Metrics , 2013, PRIMA.

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

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

[14]  Thomas Eiter,et al.  Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources , 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning.

[15]  Eugenia Ternovska,et al.  Generalized Multi-Context Systems , 2014, KR.

[16]  Patrice Caire,et al.  Enhancing Cooperation in Distributed Information Systems Using Conviviality and Multi-Context Systems , 2011, MIWAI.

[17]  Enrico Pontelli,et al.  Multi-Context Systems with Preferences , 2018, Fundam. Informaticae.

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

[19]  Matthias Knorr,et al.  What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems , 2014, J. Log. Comput..

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

[21]  Sheila A. McIlraith,et al.  Peer-to-Peer Query Answering with Inconsistent Knowledge , 2008, KR.

[22]  Thomas Eiter,et al.  Querying Disjunctive Database Through Nonmonotonic Logics , 1995, ICDT.

[23]  Gerhard Brewka.  Towards Reactive Multi-Context Systems , 2013, LPNMR.

[24]  S. Kauffman.  Metabolic stability and epigenesis in randomly constructed genetic nets. , 1969, Journal of theoretical biology.

[25]  Grigoris Antoniou,et al.  Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic , 2011, LPNMR.

[26]  Ronen I. Brafman,et al.  Preferences over Sets , 2006, AAAI.

[27]  Grigoris Antoniou,et al.  Alternative Strategies for Conflict Resolution in Multi-Context Systems , 2009, AIAI.

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

[29]  Ronen I. Brafman,et al.  CP-nets: A Tool for Representing and Reasoning withConditional Ceteris Paribus Preference Statements , 2011, J. Artif. Intell. Res..

[30]  E. Rowland.  Theory of Games and Economic Behavior , 1946, Nature.

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

[32]  Thomas Eiter,et al.  The mcs-ie System for Explaining Inconsistency in Multi-Context Systems , 2010, JELIA.

[33]  Antonius Weinzierl,et al.  Relational Information Exchange and Aggregation in Multi-Context Systems , 2011, LPNMR.

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

[35]  Stefan Woltran,et al.  Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas , 2000, AAAI/IAAI.

[36]  Gerhard Brewka,et al.  Multi-Context Systems for Reactive Reasoning in Dynamic Environments , 2014, ECAI.

[37]  I. G. BONNER CLAPPISON.  Editor , 1960, The Electric Power Engineering Handbook - Five Volume Set.

[38]  Miroslaw Truszczynski,et al.  Representing Preferences Among Sets , 2010, AAAI.

[39]  Wolfgang Faber,et al.  Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity , 2004, JELIA.

[40]  Michael Fink,et al.  Towards Query Answering in Relational Multi-Context Systems , 2013, LPNMR.

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

[42]  Matthias Knorr,et al.  Evolving Bridge Rules in Evolving Multi-Context Systems , 2014, CLIMA.

[43]  Miroslaw Truszczynski,et al.  The computational complexity of dominance and consistency in CP-nets , 2005, IJCAI.

[44]  Ronen I. Brafman,et al.  Preference-Based Configuration of Web Page Content , 2001, IJCAI.

[45]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[46]  Luciano Serafini,et al.  Contextualized knowledge repositories for the Semantic Web , 2012, J. Web Semant..

[47]  Jörg Pührer,et al.  Asynchronous Multi-Context Systems , 2015, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation.

[48]  Katsumi Inoue,et al.  Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Logic Programming for Boolean Networks , 2022 .

[49]  Thomas E. Allen,et al.  CP-nets: From Theory to Practice , 2015, ADT.

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

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

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

[53]  Antonius Weinzierl,et al.  Semantic Reasoning with SPARQL in Heterogeneous Multi-context Systems , 2011, CAiSE Workshops.

[54]  Paolo Mancarella,et al.  Abductive Logic Programming , 1992, LPNMR.

[55]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[56]  Thomas Eiter,et al.  Linking Open-World Knowledge Bases Using Nonmonotonic Rules , 2015, LPNMR.

[57]  Peter Novák,et al.  An Integrated Reconfigurable System for Maritime Situational Awareness , 2014, ECAI.

[58]  Jon Doyle,et al.  A Logic of Relative Desire (Preliminary Report) , 1991, ISMIS.

[59]  Matthias Knorr,et al.  Evolving Multi-Context Systems , 2014, ECAI.

[60]  Dean Allemang,et al.  The Computational Complexity of Abduction , 1991, Artif. Intell..

[61]  Stuart A. Kauffman,et al.  The origins of order , 1993 .

[62]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[63]  Antonius Weinzierl,et al.  Preference-Based Inconsistency Management in Multi-Context Systems , 2017, J. Artif. Intell. Res..