Propositional knowledge base revision and minimal change
Artificial Intelligence
Fundamenta Informaticae
Belief Revision
Artificial Intelligence - Special issue on nonmonotonic reasoning
Logical foundations of negotiation: outcome, concession and adaptation
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Negotiation as mutual belief revision
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Confluence operators and their relationships with revision, update and merging
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |
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.