Abstract
We study a generalisation of iterated belief revision in a setting where we keep track not only of the received information (in the form of messages) but also of the source of each message. We suppose that we have a special source, the oracle, which never fails. That is, all of the information provided by the oracle is assumed to be correct. We then evaluate the reliability of each source by confronting its messages with the facts given by the oracle. In this case it is natural to give higher priority to messages coming from more reliable sources. We therefore re-order (reconfigurate) the messages with respect to the reliability of the sources before performing iterated belief revision. We study how to compute this reliability, and the properties of the corresponding reconfiguration operators.
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
Similar content being viewed by others
Notes
- 1.
Because of space constraints we do not put the proofs in the paper and only give some intuitions behind the results. The full proofs can be found in the supplementary material.
- 2.
We put the prefix r- (for reconfiguration) before the translated postulate.
References
Besnard, P.: Revisiting postulates for inconsistency measures. In: Fermé, E., Leite, J. (eds.) JELIA 2014. LNCS (LNAI), vol. 8761, pp. 383–396. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11558-0_27
Booth, R., Meyer, T.A.: Admissible and restrained revision. J. Artif. Intell. Res. 26, 127–151 (2006)
Booth, R., Fermé, E., Konieczny, S., Pino Pérez, R.: Credibility-limited revision operators in propositional logic. In: Proceedings of the 13th International Conference on the Principles of Knowledge Representation and Reasoning (2012)
Booth, R., Fermé, E.L., Konieczny, S., Pino Pérez, R.: Credibility-limited improvement operators. In: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), vol. 263, pp. 123–128 (2014)
Darwiche, A., Pearl, J.: On the logic of iterated belief revision. Artif. Intell. 89(1–2), 1–29 (1997)
Delgrande, J.P., Dubois, D., Lang, J.: Iterated revision as prioritized merging. In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 210–220 (2006)
Everaere, P., Fellah, C., Konieczny, S., Pérez, R.P.: Weighted merging of propositional belief bases. In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) (2023)
Fermé, E.L., Mikalef, J., Taboada, J.: Credibility-limited functions for belief bases. J. Log. Comput. 13(1), 99–110 (2003)
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)
Grant, J., Martinez, M.V.: Measuring Inconsistency in Information. College Publications, London (2018)
Hansson, S.O., Fermé, E.L., Cantwell, J., Falappa, M.A.: Credibility limited revision. J. Symb. Log. 66(4), 1581–1596 (2001)
Hunter, A., Konieczny, S.: Approaches to measuring inconsistent information. In: Bertossi, L., Hunter, A., Schaub, T. (eds.) Inconsistency Tolerance. LNCS, vol. 3300, pp. 191–236. Springer, Heidelberg (2005). https://doi.org/10.1007/978-3-540-30597-2_7
Jin, Y., Thielscher, M.: Iterated belief revision, revised. Artif. Intell. 171(1), 1–18 (2007)
Konieczny, S., Medina Grespan, M., Pino Pérez, R.: Taxonomy of improvement operators and the problem of minimal change. In: Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), pp. 161–170 (2010)
Konieczny, S., Pino Pérez, R.: Improvement operators. In: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 177–187 (2008)
Konieczny, S., Pino Pérez, R.: Merging information under constraints: a logical framework. J. Log. Comput. 12(5), 773–808 (2002)
Lin, J.: Integration of weighted knowledge bases. Artif. Intell. 83(2), 363–378 (1996)
Nayak, A.: Iterated belief change based on epistemic entrenchment. Erkenntnis 41, 353–390 (1994)
Schwind, N., Konieczny, S.: Non-prioritized iterated revision: improvement via incremental belief merging. In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), pp. 738–747 (2020)
Schwind, N., Konieczny, S., Pino Pérez, R.: On the representation of Darwiche and Pearl’s epistemic states for iterated belief revision. In: Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022) (2022)
Singleton, J., Booth, R.: Who’s the expert? On multi-source belief change. In: Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022) (2022)
Tamargo, L.H., Deagustini, C.A., García, A.J., Falappa, M.A., Simari, G.R.: Multi-source multiple change on belief bases. Int. J. Approx. Reason. 110, 145–163 (2019)
Thimm, M.: Inconsistency measurement. In: Ben Amor, N., Quost, B., Theobald, M. (eds.) SUM 2019. LNCS (LNAI), vol. 11940, pp. 9–23. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-35514-2_2
Thimm, M., Wallner, J.P.: On the complexity of inconsistency measurement. Artif. Intell. 275, 411–456 (2019)
Acknowledgements
This work has benefited from the support of the AI Chair BE4musIA of the French National Research Agency (ANR-20-CHIA-0028).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Konieczny, S., Perrotin, E., Pino Pérez, R. (2023). Belief Reconfiguration. In: Gaggl, S., Martinez, M.V., Ortiz, M. (eds) Logics in Artificial Intelligence. JELIA 2023. Lecture Notes in Computer Science(), vol 14281. Springer, Cham. https://doi.org/10.1007/978-3-031-43619-2_31
Download citation
DOI: https://doi.org/10.1007/978-3-031-43619-2_31
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-43618-5
Online ISBN: 978-3-031-43619-2
eBook Packages: Computer ScienceComputer Science (R0)