Multiperspective Reasoning in KR Formalisms via Standpoint Logic
From International Center for Computational Logic
Multiperspective Reasoning in KR Formalisms via Standpoint Logic
Talk by Sebastian Rudolph
- Location: APB-2026
- Start: 15. January 2026 at 11:00 am
- End: 15. January 2026 at 12:00 pm
- Research group: 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.
