DA2 merging operators

  title={DA2 merging operators},
  author={S{\'e}bastien Konieczny and J{\'e}r{\^o}me Lang and Pierre Marquis},
  journal={Artif. Intell.},
Merging First-Order Knowledge Using Dilation Operators
A new framework for merging knowledge bases expressed in (subsets of) first-order logic is proposed, driven by model-based intuitions but that can be implemented in a syntax-based manner.
Propositional merging operators based on set-theoretic closeness
A new familly of propositional merging operators is defined, close to such distance-based merging operators, but relying on a set-theoretic definition of closeness, already at work in several revision/update operators from the literature.
Implementing semantic merging operators using binary decision diagrams
First-Order Belief Merging using Dilations
This work proposes a new framework for merging knowledge bases expressed in (subsets of) first-order logic that is driven by model-based intuitions but that can be implemented in a syntax-based manner.
Merging Stratified Knowledge Bases under Constraints
A family of operators for merging stratified knowledge bases under integrity constraints is proposed in a model-theoretic way and can be used to merge stratifiedknowledge bases where no numerical information is available.
Confluence Operators
A new class of operators is introduced: the confluence operators, which can be useful in modelling negotiation processes and are considered as pointwise revision, looking at each model of the base, instead of taking the base as a whole.
Quota-Based Merging Operators for Stratified Knowledge Bases
A family of operators to merge stratified knowledge bases without commensurability assumption is proposed, which generalize the quota operators, a family of important merging operators in classical logic.
Disjunctive merging: Quota and Gmin merging operators
A Semantic Approach to Ontology Merging in DL-Lite
A novel approach to merging DL-Lite ontologies by utilising an alternative semantic characterisation instead of classical DL models is proposed, and the complexity of the merging operators is shown to be on the same level as that of propositional belief merging.
A split-combination approach to merging knowledge bases in possibilistic logic
An adaptive approach to merging possibilistic knowledge bases that deploys multiple operators instead of a single operator in the merging process that results in a possibillistic knowledge base which contains more information than that obtained by the t-conorm based merging methods.


Encoding Information Fusion in Possibilistic Logic: A General Framework for Rational Syntactic Merging
This paper presents a general approach for fusing prioritized bases, both semantically and syntactically, when priorities are represented in the possibilistic logic framework, and shows that the approaches which have been recently proposed for merging classical propositional bases can be embedded in this setting.
Fusing syntax and semantics in knowledge fusion
This paper discusses how these operators could be refined, by taking into account various distribution policies of the falsified information among the knowledge sources, syntactical properties of formulas to be fused and forms of integrity constraints preference among literals.
Merging with Integrity Constraints
This paper proposes a logical characterization of Liberatore and Schaerf commutative revision operators and gives a representation theorem in terms of preorders on interpretations and shows the close connection between belief revision and merging operators.
Merging Information Under Constraints: A Logical Framework
The paper considers the problem of merging several belief bases in the presence of integrity constraints and proposes a logical characterization of operators having a majority behaviour or a
On the semantics of updates in databases
A methodology for updating databases with integrity constraints and rules for deriving inexphcit information is suggested, which is adapted to updating databases, where different facts can carry different priorities, and to updating user views.
Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study Part 1: The Flat Case
This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argued consequence relation, taking into account the existence of consistent arguments
Inconsistency Management and Prioritized Syntax-Based Entailment
This new approach leads to a nonmonotonic inference which satisfies the "rationality" property while solving the problem of blocking of property inheritance and differs from and improves previous equivalent approaches such as Gardenfors and Makinson's expectation-based inference, Pearl's System Z and possibilistic logic.
Propositional Distances and Preference Representation
An integrated logical framework for preference representation is given which handles weighted goals and distances to goals in a uniform way and proposes a new family of distances, based on Choquet integrals, in which the Hamming distance has exactly a position very similar to that of the arithmetic mean in the class of Choquet Integrals for multi-criteria decision making.
Arbitration (or How to Merge Knowledge Bases)
The properties that any arbitration operator should satisfy are investigated, in the style of Alchourron, Gardenfors, and Makinson, and proposed actual operators for arbitration are proposed.
Preferred Subtheories: An Extended Logical Framework for Default Reasoning
We present a general framework for defining nonmonotonic systems based on the notion of preferred maximal consistent subsets of the premises. This framework subsumes David Poole's THEORIST approach