Project description
Dealing with noisy and inconsistent information adequately is one of the core challenges in knowledge-driven AI applications. In scenarios where experts share their knowledge in order to build a joint knowledge base or sensor information is to be added, inconsistencies easily occur. In the field of Knowledge Representation and Reasoning (KRR), the formal framework for addressing such problems is belief merging (and its related areas such as belief change and information fusion), which provides computational approaches for automatically resolving these issues in some sensible way. The field of belief merging bears a close relationship with the fields of judgement and preference aggregation and also features its own version of Arrow's impossibility result, insofar that there cannot be any "rational" belief merging approach. This calls for semi-automatic methods that take human background knowledge into account when knowledge has to be merged, in order not to remove important pieces of information. However, classical belief merging approaches usually work in a way that is hard to interpret by users, choosing the pieces of information to be removed based on, e.g., notions of distances of interpretations.
In this project, we address the above challenge of "explainable belief merging" by developing new belief merging operators that are able to explain their results and allow for the semi-automatic repair of knowledge-driven systems. Our method for this endeavour will be based on the computation and analysis of "Craig Interpolants". Informally, given two knowledge bases, an interpolant is a formula which can be derived from one of the knowledge bases, such that its insertion into the other will lead to an inconsistency. Therefore, an interpolant provides a concise explanation of why a particular conflict between two knowledge bases occurs. We believe that using the information obtained from the analysis of interpolants will allow us to extend existing approaches to belief merging with better explanation capabilities - and even develop new formal approaches to belief merging. In fact, preliminary work by the grant applicants already showed that interpolants can be used to measure the conflicts between multiple knowledge bases in a sensible fashion. A further aspect we wish to explore in this project is the application of the belief merging framework to more expressive logics. Knowledge-driven scenarios usually require functionalities as arithmetics and first-order reasoning, but the bulk of the work on belief merging is concerned with the setting of propositional logic. We will therefore also lay the foundations for using belief merging in more expressive logics and investigate the use of interpolants therein.
Project leader
- Matthias Thimm, University of Hagen
- Viorica Sofronie-Stokkermans, Universität Koblenz
People
- Jandson Santos Ribeiro Santos, University of Hagen
- Dennis Peuter, Universität Koblenz
Publications
- Kai Sauerwald. Credibility-limited Revision for Epistemic Spaces. In Proceedings of the 16th International Conference on Scalable Uncertainty Managament (SUM'24). November 2025.
- Kai Sauerwald, Matthias Thimm. The Realizability of Revision and Contraction Operators in Epistemic Spaces. In Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR'24). November 2024. bibtex pdf
- Jandson Santos Ribeiro Santos, Matthias Thimm. Measuring Inconsistency with the Tableau Method. In Journal of Applied Logic. August 2023. bibtex pdf
- Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo, Matthias Thimm. A Comparison of ASP-Based and SAT-Based Algorithms for the Contension Inconsistency Measure. In Proceedings of the 15th international conference on Scalable Uncertainty Management (SUM'22). October 2022. bibtex pdf
- Jandson Santos Ribeiro Santos, Viorica Sofronie-Stokkermans, Matthias Thimm. Measuring Disagreement with Interpolants. In Jesse Davis, Karim Tabia (Eds.), Proceedings of the 14th International Conference on Scalable Uncertainty Management (SUM'20), pages 84-97, Springer International Publishing, volume 12322 of Lecture Notes in Artificial Intelligence. September 2020. bibtex pdf