DA2 merging operators

A new framework for propositional merging is presented. DA2 merging operators, parameterized by a distance between interpretations and two aggregation functions, are introduced. Many distances and aggregation functions can be used and many merging operators already defined in the literature (including both model-based ones and syntax-based ones) can be encoded as specific DA2 operators. Both logical and complexity properties of those operators are studied. An important result is that (under very weak assumptions) query entailment from merged bases is "only" at the first level of the polynomial hierarchy when any of the DA2 operators is used. As a by-product, complexity results for several existing merging operators are derived as well.

[1]  Éric Grégoire,et al.  Fusing syntax and semantics in knowledge fusion , 2001, EUSFLAT Conf..

[2]  Peter Z. Revesz,et al.  On the Semantics of Arbitration , 1997, Int. J. Algebra Comput..

[3]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[4]  Ronald R. Yager,et al.  On ordered weighted averaging aggregation operators in multicriteria decisionmaking , 1988, IEEE Trans. Syst. Man Cybern..

[5]  N. Rescher,et al.  On inference from inconsistent premisses , 1970 .

[6]  Sarit Kraus,et al.  Combining Multiple Knowledge Bases , 1991, IEEE Trans. Knowl. Data Eng..

[7]  Dov M. Gabbay,et al.  Handbook of defeasible reasoning and uncertainty management systems: volume 2: reasoning with actual and potential contradictions , 1998 .

[8]  Bernhard Nebel,et al.  A Knowledge Level Analysis of Belief Revision , 1989, KR.

[9]  Didier Dubois,et al.  Encoding Information Fusion in Possibilistic Logic: A General Framework for Rational Syntactic Merging , 2000, ECAI.

[10]  Sébastien Konieczny,et al.  On the Frontier between Arbitration and Majority , 2002, KR.

[11]  Jean-Luc Marichal,et al.  Aggregation operators for multicriteria decision aid , 1998 .

[12]  Ronald Fagin,et al.  On the semantics of updates in databases , 1983, PODS.

[13]  M. Sugeno,et al.  An interpretation of fuzzy measures and the Choquet integral as an integral with respect to a fuzzy , 1989 .

[14]  Peter Z. Revesz.  On the semantics of theory change: arbitration between old and new information , 1993, PODS '93.

[15]  Hélène Fargier,et al.  Qualitative Decision under Uncertainty: Back to Expected Utility , 2003, IJCAI.

[16]  Alberto O. Mendelzon,et al.  Knowledge Base Merging by Majority , 1999 .

[17]  Gadi Pinkas,et al.  Reasoning, Nonmonotonicity and Learning in Connectionist Networks that Capture Propositional Knowledge , 1995, Artif. Intell..

[18]  Jérôme Lang,et al.  Propositional Distances and Preference Representation , 2001, ECSQARU.

[19]  Jérôme Lang,et al.  Logical representation of preferences for group decision making , 2000, KR.

[20]  Rudolf Kruse,et al.  Fusion: General concepts and characteristics , 2001, Int. J. Intell. Syst..

[21]  Bernhard Nebel,et al.  Belief Revision and Default Reasoning: Syntax-Based Approaches , 1991, KR.

[22]  Sven Ove Hansson,et al.  Revision of Belief Sets and Belief Bases , 1998 .

[23]  Didier Dubois,et al.  Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study Part 1: The Flat Case , 1997, Stud Logica.

[24]  Bernhard Nebel,et al.  How Hard is it to Revise a Belief Base , 1996 .

[25]  Remo Pareschi,et al.  Dynamic Worlds: From the Frame Problems to Knowledge Management , 1999 .

[26]  Klaus W. Wagner.  More Complicated Questions About Maxima and Minima, and Some Closures of NP , 1987, Theor. Comput. Sci..

[27]  Alessandro Saffiotti,et al.  A General Approach for Inconsistency Handling and Merging Information in Prioritized Knowledge Bases , 1998, KR.

[28]  Sébastien Konieczny,et al.  On the Logic of Merging , 1998, KR.

[29]  Tom Bylander,et al.  The Computational Complexity of Propositional STRIPS Planning , 1994, Artif. Intell..

[30]  Mukesh Dalal,et al.  Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.

[31]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[32]  D. Fensel.  Principles of knowledge representation and reasoning : proceedings of the eighth International Conference (KR2002), Toulouse, France, April 22-25, 2002 , 2002 .

[33]  Didier Dubois,et al.  Inconsistency Management and Prioritized Syntax-Based Entailment , 1993, IJCAI.

[34]  Gerhard Brewka,et al.  Preferred Subtheories: An Extended Logical Framework for Default Reasoning , 1989, IJCAI.

[35]  Marco Schaerf,et al.  BReLS: A System for the Integration of Knowledge Bases , 2000, KR.

[36]  Marco Schaerf,et al.  Arbitration (or How to Merge Knowledge Bases) , 1998, IEEE Trans. Knowl. Data Eng..

[37]  Georg Gottlob,et al.  On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals , 1992, Artif. Intell..

[38]  Sébastien Konieczny,et al.  On the Difference between Merging Knowledge Bases and Combining them , 2000, KR.

[39]  Sébastien Konieczny,et al.  Merging with Integrity Constraints , 1999, ESCQARU.

[40]  Sébastien Konieczny,et al.  Merging Information Under Constraints: A Logical Framework , 2002, J. Log. Comput..