Multiperspective Reasoning in KR Formalisms via Standpoint Logic
Aus International Center for Computational Logic
Multiperspective Reasoning in KR Formalisms via Standpoint Logic
Vortrag von Sebastian Rudolph
- Veranstaltungsort: APB-2026
- Beginn: 15. Januar 2026 um 11:00
- Ende: 15. Januar 2026 um 12:00
- Forschungsgruppe: Computational Logic
- Event series: Research Seminar Logic and AI
- iCal
The importance of taking individual, potentially conflicting perspectives into account when dealing with knowledge has been widely recognised. Many existing knowledge management approaches fully merge knowledge perspectives, which may require weakening in order to maintain consistency; others represent the distinct views in an entirely detached way. This talk will present an alternative, referred to as Standpoint Logic, a simple, yet versatile multi-modal logic “add-on” for existing logical languages – including Description Logics – intended for the integrated representation of domain knowledge relative to diverse standpoints, which can be hierarchically organised, combined, and put in relation with each other. It will introduce the general logical framework of Standpoint Logic and discuss variations which differ in expressivity and computational complexity of automated reasoning.
