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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50, 510–530 (1985)
Booth, R.: Social contraction and belief negotiation. In: Proceedings of the Eighth Conference on Principles of Knowledge Representation and Reasoning (KR 2002), pp. 374–384 (2002)
Dalal, M.: Investigations into a theory of knowledge base revision: preliminary report. In: Proceedings of the American National Conference on Artificial Intelligence (AAAI 1988), pp. 475–479 (1988)
Dupin de Saint-Cyr, F., Lang, J.: Belief extrapolation (or how to reason about observations and unpredicted change). In: Proceedings of the Eighth Conference on Principles of Knowledge Representation and Reasoning (KR 2002), pp. 497–508 (2002)
Gärdenfors, P.: Knowledge in flux. MIT Press, Cambridge (1988)
Gärdenfors, P. (ed.): Belief Revision. Cambridge University Press, Cambridge (1992)
Grove, A.: Two modellings for theory change. Journal of Philosophical Logic 17(157-180) (1988)
Herzig, A., Rifi, O.: Update operations: a review. In: Proceedings of the Thirteenth European Conference on Artificial Intelligence (ECAI 1998), pp. 13–17 (1998)
Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), pp. 387–394 (1991)
Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artificial Intelligence 52, 263–294 (1991)
Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: Gärdenfors, P. (ed.) Belief Revision. Cambridge University Press, Cambridge (1992)
Konieczny, S.: Belief base merging as a game. Journal of Applied Non-Classical Logics 14(3), 275–294 (2004)
Konieczny, S., Lang, J., Marquis, P.: DA2 merging operators. Artificial Intelligence 157(1-2), 49–79 (2004)
Konieczny, S., Pino Pérez, R.: Merging information under constraints: a logical framework. Journal of Logic and Computation 12(5), 773–808 (2002)
Lang, J.: Belief update revisited. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 2517–2522 (2007)
Lobo, J., Uzcátegui, C.: Abductive change operators. Fundamenta Informaticae 27(4), 385–411 (1996)
Meyer, T., Foo, N., Zhang, D., Kwok, R.: Logical foundations of negotiation: Outcome, concession and adaptation. In: Proceedings of the American National Conference on Artificial Intelligence (AAAI 2004), pp. 293–298 (2004)
Meyer, T., Foo, N., Zhang, D., Kwok, R.: Logical foundations of negotiation: Strategies and preferences. In: Proceedings of the Ninth Conference on Principles of Knowledge Representation and Reasoning (KR 2004), pp. 311–318 (2004)
Revesz, P.Z.: On the semantics of arbitration. International Journal of Algebra and Computation 7(2), 133–160 (1997)
Zhang, D., Foo, N., Meyer, T., Kwok, R.: Negotiation as mutual belief revision. In: Proceedings of the American National Conference on Artificial Intelligence (AAAI 2004), pp. 317–322 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Konieczny, S., Pino Pérez, R. (2008). Confluence Operators . In: Hölldobler, S., Lutz, C., Wansing, H. (eds) Logics in Artificial Intelligence. JELIA 2008. Lecture Notes in Computer Science(), vol 5293. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87803-2_23
Download citation
DOI: https://doi.org/10.1007/978-3-540-87803-2_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87802-5
Online ISBN: 978-3-540-87803-2
eBook Packages: Computer ScienceComputer Science (R0)