Abstract
Probability kinematics is a leading paradigm in probabilistic belief change. It is based on the idea that conditional beliefs should be independent from changes of their antecedents’ probabilities. In this paper, we propose a re-interpretation of this paradigm for Spohn’s ranking functions which we call Generalized Ranking Kinematics as a new principle for iterated belief revision of ranking functions by sets of conditional beliefs with respect to their specific subcontext. By taking into account semantical independencies, we can reduce the complexity of the revision task to local contexts. We show that global belief revision can be set up from revisions on the local contexts via a merging operator. Furthermore, we formalize a variant of the Ramsey-Test based on the idea of local contexts which connects conditional and propositional revision in a straightforward way. We extend the belief change methodology of c-revisions to strategic c-revisions which will serve as a proof of concept.
Article PDF
Similar content being viewed by others
References
Alchourrón, C., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log. 50, 510–530 (1985). https://doi.org/10.2307/2274239
Beierle, C., Eichhorn, C., Kern-Isberner, G.: Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem. In: Gyssens, M., Simari, G.R. (eds.) Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Proceedings, LNCS, vol. 9616, pp. 65–82. Springer (2016)
Beierle, C., Eichhorn, C., Kern-isberner, G.: A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases. In: Antonucci, A., Cholvy, L., Papini, O. (eds.) Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 14Th European Conference, ECSQARU 2017, Lugano, Proceedings, Lecture Notes in Computer Science, vol. 10369, pp. 236–245. Springer, Berlin (2017)
Beierle, C., Eichhorn, C., Kern-Isberner, G., Kutsch, S.: Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem. Ann. Math. Artif. Intell. 83(3-4), 247–275 (2018)
Beierle, C., Eichhorn, C., Kutsch, S.: A practical comparison of qualitative inferences with preferred ranking models. KI – Künstliche Intell. 31(1), 41–52 (2017)
Carlsson, M., Ottosson, G., Carlson, B.: An Open-Ended Finite Domain Constraint Solver. In: Glaser, H., Hartel, P.H., Kuchen, H. (eds.) Programming Languages: Implementations, Logics, and Programs, (PLILP’97), LNCS, vol. 1292, pp. 191–206. Springer (1997)
Darwiche, A., Pearl, J.: On the logic of iterated belief revision. Artif. Intell. 89, 1–29 (1997)
de Finetti, B.: La prévision, ses lois logiques et ses sources subjectives. Ann. Inst. H. Poincaré 7(1), 1–68. English translation in Studies in Subjective Probability, Kyburg, H., Smokler, H.E. (eds.) 1974, 93–158, Wiley, New York (1937)
Goldszmidt, M., Pearl, J.: Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artif. Intell. 84, 57–112 (1996)
Hansson, S.O.: Descriptor revision. Stud. Log. 102(5), 955–980 (2014)
Jeffrey, R.C.: The logic of decision. University of Chicago Press (1965)
Katsuno, H., Mendelzon, A.: Propositional knowledge base revision and minimal change. Artif. Intell. 52, 263–294 (1991)
Kern-Isberner, G.: Conditionals in nonmonotonic reasoning and belief revision. Springer, Lecture Notes in Artificial Intelligence LNAI 2087 (2001)
Kern-Isberner, G.: A thorough axiomatization of a principle of conditional preservation in belief revision. Ann. Math. Artif. Intell. 40(1-2), 127–164 (2004)
Kern-Isberner, G.: Axiomatizing a qualitative principle of conditional preservation for iterated belief change. In: Thielscher, M., Toni, F., Wolter, F. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, pp. 248–256. AAAI Press (2018)
Kern-Isberner, G., Beierle, C., Brewka, G.: Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning from Conditional Belief Bases. In: KR-2020, pp. 560–571 (2020)
Kern-Isberner, G., Brewka, G.: Strong syntax splitting for iterated belief revision. In: Sierra, C. (ed.) Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, pp. 1131–1137. ijcai.org, Melbourne (2017). https://doi.org/10.24963/ijcai.2017/157
Kern-Isberner, G., Huvermann, D.: What kind of independence do we need for multiple iterated belief change. J. Appl. Log. 22, 91–119 (2017). https://doi.org/10.1016/j.jal.2016.11.033
Pearl, J.: Probabilistic reasoning in intelligent systems. Morgan Kaufmann, San Mateo (1988)
Sauerwald, K., Haldimann, J., von Berg, M., Beierle, C.: Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. In: Schmid, U., Klu̇gl, F., Wolter, D. (eds.) KI 2020: Advances in Artificial Intelligence - 43rd German Conference on AI, Bamberg, Proceedings, LNCS, vol. 12325, pp. 204–218. Springer (2020)
Kern-Isberner, G.: Generalized ranking kinematics for iterated belief revision. In: Barták, R., Bell, E. (eds.) Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, Originally to be held in North Miami Beach, pp. 587–592. AAAI Press, Florida (2020). https://aaai.org/ocs/index.php/FLAIRS/FLAIRS20/paper/view/18504
Shore, J.E., Johnson, R.W.: Axiomatic derivation of the principle of maximum entropy and the principle of minimum cross-entropy. IEEE Trans. Inf. Theory, 26–37 (1980)
Spohn, W.: Ordinal Conditional Functions: a Dynamic Theory of Epistemic States. Springer, Netherlands (1988)
Spohn, W.: The Laws of Belief - Ranking Theory and Its Philosophical Applications. Oxford University Press (2014). http://ukcatalogue.oup.com/product/9780198705857.do
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Sezgin, M., Kern-Isberner, G. & Beierle, C. Ranking kinematics for revising by contextual information. Ann Math Artif Intell 89, 1101–1131 (2021). https://doi.org/10.1007/s10472-021-09746-2
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10472-021-09746-2