Aktuelles
Einladung zum Vortrag von Herrn Prof. Dr. Christian Straßer (Ruhr-Universität Bochum) am Donnerstag, den 30.04.2026 - 10:00 Uhr im Rahmen des Oberseminars des Lehrgebiets „Künstliche Intelligenz“
[30.04.2026]Im Rahmen des Oberseminars des Lehrgebiets „Künstliche Intelligenz“ hält am Donnerstag, den 30.04.2026, um 10:00 Uhr, Herr Prof. Dr. Christian Straßer (Ruhr-Universität Bochum) einen Vortrag zum Thema:
"Recent Investigations into Inconsistency: From Measurement to Reasoning"
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, which we term structural additivity. Such measures require strict sensitivity to new conflicts, clean separation of independent knowledge bases, and symmetric distribution of 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 minimize normative violations. In sum, these approaches demonstrate how formal quantification, semantic refinement, and logical integration can assist in inconsistency-tolerant reasoning.
Interessierte sind herzlich eingeladen, im Rahmen eines Zoom-Meetings teilzunehmen:
https://fernuni-hagen.zoom.us/j/62388524887?pwd=WmJRRUpDZWZ4WlJoeFlGQTBESWplQT09
