Book Chapter10.1007/978-3-540-87803-2_23
Confluence Operators
Sébastien Konieczny,Ramón Pino Pérez +1 more
- 28 Sep 2008
pp 272
6
TL;DR: 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.
read more
Abstract: In the logic based framework of knowledge representation and reasoning many operators have been defined in order to capture different kinds of change: revision, update, merging and many others. There are close links between revision, update, and merging. Merging operators can be considered as extensions of revision operators to multiple belief bases. And update operators can be considered as pointwise revision, looking at each model of the base, instead of taking the base as a whole. Thus, a natural question is the following one: Are there natural operators that are pointwise merging, just as update are pointwise revision? The goal of this work is to give a positive answer to this question. In order to do that, we introduce a new class of operators: the confluence operators. These new operators can be useful in modelling negotiation processes.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Logic Based Merging
TL;DR: The relationship between merging, revision, update and confluence, and some links between belief merging and social choice theory are discussed, and the main generalizations of these works in other logical frameworks are mentioned.
Belief base rationalization for propositional merging
Sébastien Konieczny,Pierre Marquis,Nicolas Schwind +2 more
- 16 Jul 2011
TL;DR: This paper defines in formal terms several independence conditions for merging operators and shows how they interact with the standard IC postulates for belief merging, and gives an independence-based axiomatic characterization of a distance-based operator.
Confluence operators and their relationships with revision, update and merging
TL;DR: This paper introduces confluence operators, that are inspired by the existing links between belief revision, update and merging operators, and gives all possible agreement situations from a set of belief bases.
Fusion d'informations incertaines sans commensurabilité des échelles de référence
Jean Perrin
- 01 Jan 2009
TL;DR: This thesis proposes different solutions to the problem of incommensurability for ranked beliefs merging and introduces several inference relations based on some selection functions of compatible scales, including a stronger version of the fairness postulate, called the consensus postulate.
References
On the logic of theory change: Partial meet contraction and revision functions
TL;DR: In this article, the authors extend earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising it to introduce a new proposition.
3.4K
Propositional knowledge base revision and minimal change
TL;DR: The semantics of revising knowledge bases represented by sets of propositional sentences is analyzed from a model-theoretic point of view and all revision schemes that satisfy the Gardenfors rationality postulates are characterized.
910
Aggregating sets of judgments: An impossibility result
Christian List,Philip Pettit +1 more
TL;DR: In particular, List and Pettit as mentioned in this paper argue that the question raised is subject to a difficulty that has recently been noticed in discussion of the doctrinal paradox in jurisprudence and they show that there is a general impossibility theorem that that difficulty illustrates.
On the Semantics of Arbitration
TL;DR: The operator of model-fitting is defined and analyzed in the paper and it is shown that arbitration operators can be also characterized as accomplishing a minimal change.
221