Christian gave a talk in Matthias Thimm’s group in Hagen on joint work with Badran Raddaoui and Said Jabbour.
Here’s the abstract:
In this talk, I provide an overview of recent work on measuring and reasoning in the presence of inconsistency. First, building on joint work with B. Raddaoui and S. Jabbour, I present a novel correction-based inconsistency measure that enforces structural transparency and sensitivity --- what we call ‘structural additivity’. Measures should strictly reflect the introduction of new conflicts, cleanly separate independent knowledge bases, and symmetrically distribute inconsistency weight across structurally equivalent components. Second, in collaboration with O. Arieli and B. Raddaoui, I examine the status of free formulas. Surprisingly, I argue that even formulas outside minimal conflicts can differ in their defeasible reliability. This insight enables refined models of cautious paraconsistent reasoning that exploit subtle distinctions among free formulas. Finally, if time permits, I discuss joint work with O. Arieli, K. van Berkel, and B. Raddaoui on conflict-tolerant deontic logic. By integrating inconsistency measures into deontic logic, we define nonmonotonic entailment relations that quantify how individual norms contribute to deontic conflicts. These measure-driven recommendations allow agents to derive obligations that actively minimize normative violations. In sum, these approaches show how formal quantification, semantic refinement, and logical integration assist in inconsistency-tolerant reasoning.