Abstract
In a 2003-article, Sven Ove Hansson discusses the justificatory structure of a belief base, by highlighting that some beliefs of the belief base are held only because they are (deductively) justified by some other beliefs. He concludes that the relation between the justificatory structure of a belief base and the vulnerability of its beliefs (which in turn reflects their resistance to change) remains an open issue, both on a conceptual and on a technical level. Motivated by Hanssons’ remarks, we introduce in this article a new interesting type of change-operation, called deductive belief change (contraction and revision), and abbreviated as DBC. DBC associates in a natural manner the deductive justification that the logical sentences of the language have, in the context of a belief base B, with their vulnerability relative to B. According to DBC, the more explicit B-beliefs imply a sentence φ, the more resistant to change φ is, with respect to B. We characterize DBC both axiomatically, in terms of natural postulates, and constructively, in terms of kernel belief change, illustrating its simple and intuitive structure. Interestingly enough, as we prove, kernel belief change (and its central specialization partial-meet belief change) already encodes a strong coupling between justificatory structure and vulnerability, as it implements DBC. Furthermore, we show that deductive belief revision, properly adapted to the belief-sets realm, is indistinguishable from Parikh’s relevance-sensitive revision, a fundamental type of revision which, due to its favourable properties, constitutes a promising candidate for a variety of real-world applications. As a last contribution, we study relevance in the context of belief bases, and prove that kernel belief change respects Parikh’s notion of relevance.
Article PDF
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
Data Availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
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 (2), 510–530 (1985)
Alchourrón, C., Makinson, D.: On the logic of theory change: Safe contractions. Stud. Logica. 44, 405–422 (1985)
Aravanis, T.: On uniform belief revision. J. Log. Comput. 30, 1357–1376 (2020)
Aravanis, T.: Generalizing Parikh’s criterion for relevance-sensitive belief revision. ACM Trans. Comput. Logic 24(2), 1–29 (2022). Article 18
Aravanis, T., Peppas, P.: Theory-relational belief revision. Ann. Math. Artif. Intell. 90, 573–594 (2022)
Theofanis, I.: Aravanis. Relevance in belief update. J. Artif. Intell. Res. 72, 251–283 (2021)
Aravanis, T.I., Peppas, P., Williams, M.-A.: Full characterization of Parikh’s relevance-sensitive axiom for belief revision. J. Artif. Intell. Res. 66, 765–792 (2019)
Areces, C., Becher, V.: Iterable AGM functions. In: Mary-Anne Williams and Hans Rott, editors, Frontiers in Belief Revision, volume 22 of Applied Logic Series, pp 165–196. Springer (2001)
Dalal, M.: Investigations into theory of knowledge base revision: Preliminary report. In: Proceedings of the 7th National Conference of the American Association for Artificial Intelligence (AAAI 1988), pp 475–479. The AAAI Press, Menlo Park (1988)
de Kleer, J.: An assumption-based TMS. Artificial Intelligence, 28(127-162) (1986)
Dixon, S., Foo, N.: Connections between the ATMS and AGM belief revision. In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI 1993), pp. 534–539 (1993)
Doyle, J.: A truth maintenance system. Artif. Intell. 12, 231–272 (1979)
Falappa, M.A., Fermé, E., Kern-Isberner, G.: On the logic of theory change: Relations between incision and selection functions. In: Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006), pp. 402–406 (2006)
Falappa, M.A., Kern-Isberner, G., Reis, M.D.L., Simari, G.R.: Prioritized and non-prioritized multiple change on belief bases. J. Philos. Log. 41, 77–113 (2012)
Fermé, E., Hansson, S.O.: Selective revision. Stud. Logica. 63, 331–342 (1999)
Fermé, E., Hansson, S.O.: Belief Change: Introduction and Overview. Springer, Berlin (2018)
Fermé, E., Mikalef, J., Taboada, J.: Credibility-limited functions for belief bases. J. Log. Comput. 13, 99–110 (2003)
Fuhrmann, A.: Theory contraction through base contraction. J. Philos. Log. 20(2), 175–203 (1991)
Fuhrmann, A: An essay on contraction CSLI publications (1997)
Garapa, M.: Selective base revisions. J. Philos. Log. 51, 1–26 (2022)
Garapa, M., Fermé, E., Reis, M.D.L.: Studies in credibility-limited base revision. In: Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), pp. 240–247 (2018)
Garapa, M., Fermé, E., Reis, M.D.L.: Credibility-limited base revision: New classes and their characterizations. J. Artif. Intell. Res. 69, 1023–1075 (2020)
Gärdenfors, P.: Knowledge in Flux – Modeling the Dynamics of Epistemic States. MIT Press, Cambridge (1988)
Gärdenfors, P.: Belief revision and relevance. In: PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association, pp. 349–365 (1990)
Gärdenfors, P.: The dynamics of belief systems: Foundations versus coherence theories. Rev. Int. Philos. 44, 24–46 (1990)
Di Giusto, P., Governatori, G.: A new approach to base revision. In: Barahona, P., Alferes, J. (eds.) Progress in Artificial Intelligence, volume 1695 of Lecture Notes in Computer Science, pp 327–341. Springer (1999)
Greiner, R., Pearl, J., Subramanian, D.: (Eds.). Special issue on relevance. Artificial intelligence 97(1-2) (1997)
Grove, A.: Two modellings for theory change. J. Philos. Log. 17(2), 157–170 (1988)
Hansson, S.O.: Belief Base Dynamics. PhD thesis, Uppsala University (1991)
Hansson, S.O.: Theory contraction and base contraction unified. The Journal of Symbolic Logic 58(2), 602–625 (1993)
Hansson, S.O.: Kernel contraction. J. Symb. Log. 59, 845–859 (1994)
Hansson, S.O.: Taking belief bases seriously. In: Prawitz, D., Westerståhl, D. (eds.) Logic and Philosophy of Science in Uppsala, volume 236 of Applied Logic Series, pp 13–28. Springer, Berlin (1994)
Hansson, S.O.: A Textbook of Belief Dynamics: Theory change and database updating. Springer, Berlin (1999)
Hansson, S.O.: Ten philosophical problems in belief revision. J. Log. Comput. 13, 37–49 (2003)
Hansson, S.O., Fermé, E., Cantwell, J., Falappa, M.A.: Credibility limited revision. J. Symb. Log. 66(4), 1581–1596 (2001)
Hansson, S.O., Wassermann, R.: Local change. Studia Logica: An International Journal for Symbolic Logic 70(1), 49–76 (2002)
Hunter, A., Konieczny, S.: Approaches to measuring inconsistent information. In: Bertossi, L., Hunter, A., Schaub, T. (eds.) Inconsistency Tolerance, volume 3300 of Lecture Notes in Computer Science, pp 191–236. Springer (2005)
Hunter, A., Konieczny, S.: On the measure of conflicts: Shapley Inconsistency Values. Artif. Intell. 174, 1007–1026 (2010)
Katsuno, H., Mendelzon, A.: Propositional knowledge base revision and minimal change. Artif. Intell. 52(3), 263–294 (1991)
Kern-Isberner, G., Brewka, G.: Strong syntax splitting for iterated belief revision. In: Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), pp. 1131–1137 (2017)
Knight, K.: Measuring inconsistency. J. Philos. Log. 31, 77–98 (2002)
Kourousias, G., Makinson, D.: Parallel interpolation, splitting, and relevance in belief change. J. Symb. Log. 72(3), 994–1002 (2007)
Levi, I.: Subjunctives, dispositions and chances. Synthese 34(4), 423–455 (1977)
Makinson, D.: Propositional relevance through letter-sharing. J. Appl. Log. 7, 377–387 (2009)
Nebel, B.: Syntax-based approaches to belief revision. In: Gärdenfors, P. (ed.) Belief Revision, Theoretical Computer Science, pp 52–88. Cambridge University Press (1992)
Nebel, B.: How hard is it to revise a belief base? In: Dubois, D., Prade, H. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems, volume 3 of Belief Change, pp 77–145. Springer (1998)
Parikh, R.: Beliefs, belief revision, and splitting languages. In: Moss, L.S., Ginzburg, J., de Rijke, M. (eds.) Logic, Language and Computation, vol. 2, pp 266–278. CSLI Publications (1999)
Parikh, R.: Beth definability, interpolation and language splitting. Synthese 179, 211–221 (2011)
Peppas, P.: Belief revision. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, pp 317–359. Elsevier Science (2008)
Peppas, P., Williams, M.-A.: Parametrised difference revision. In: Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), pp 277–286. The AAAI Press, Palo Alto (2018)
Peppas, P., Williams, M.-A., Chopra, S., Foo, N.: Relevance in belief revision. Artif. Intell. 229, 126–138 (2015)
Simari, GR., Loui, R.P.: A mathematical treatment of defeasible reasoning and its implementation. Artificial Intelligence, 53(125-157) (1992)
Thimm, M.: Inconsistency measurement. In: Amor, N.B., Quost, B., Theobald, M. (eds.) Scalable Uncertainty Management, Lecture Notes in Computer Science, pp 9–23. Springer (2019)
Wassermann, R.: Resource bounded belief revision. Phd thesis University of Amsterdam (2000)
Wassermann, R.: Local diagnosis. J. Appl. Non-Classical Logics 11 (1–2), 107–129 (2001)
Wassermann, R.: On structured belief bases. In: Williams, M.-A., Rott, H. (eds.) Frontiers in Belief Revision, volume 22 of Applied Logic Series, pp 349–367. Springer (2001)
Weydert, E.: Relevance and revision: About generalizing syntax-based belief revision. In: Pearce, D., Wagner, G. (eds.) Logics in AI, European Workshop, JELIA ’92, volume 633 of Lecture Notes in Computer Science, pp 126–138. Springer (1992)
Acknowledgements
The author expresses his gratitude to Pavlos Peppas for his insightful remarks on this article, as well as to the anonymous referees for their invaluable input.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of Interests
The author has no relevant financial or non-financial interests to disclose.
Additional information
Publisher’s note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Aravanis, T. Deductive belief change. Ann Math Artif Intell 91, 489–515 (2023). https://doi.org/10.1007/s10472-023-09835-4
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10472-023-09835-4