Multi-Perspective Reasoning in Knowledge Representation:
An Introduction to Standpoint Logic
Multi-Perspective Reasoning in Knowledge Representation:
An Introduction to Standpoint Logic
This course introduces students to Standpoint Logics, a novel family of lightweight multi-modal logics designed to represent and reason about knowledge originating from multiple, potentially conflicting perspectives. Many contemporary AI tasks, from ontology engineering to data integration and multi-agent reasoning, require handling context-dependent information without enforcing unification. Standpoint Logic provides a principled and computationally well-behaved framework for this purpose, extending propositional, first-order, and description logics with explicit standpoint-indexed operators and standpoint refinement relations. Across four sessions, students will learn the syntax, and semantics of propositional Standpoint Logic, its first-order extension, and Standpoint Description Logics for ontological modeling. They will also understand what are the main reasoning tasks, algorithms and complexity results in the area.
Instructors: Tim S. Lyon & Hannes Straß
(Acknowledgement: This course was planned jointly with Lucía Gómez Álvarez, whose foundational work on Standpoint Logic underpins this course.)
Participants should have basic familiarity with propositional and first-order logic. Background in modal or description logics, or in proof systems such as tableaux or sequents, is helpful but not required. The content of the course can be learned from a variety of publications, which are listed below.
Standpoint Logic: Multi-Perspective Knowledge Representation. Lucía Gómez Álvarez and Sebastian Rudolph Proceedings of the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), FAIA vol. 344, pp. 3–17. IOS Press. [Paper]
Automating Reasoning with Standpoint Logic via Nested Sequents. Tim S. Lyon and Lucía Gómez Álvarez Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022) [Paper]
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic. Lucía Gómez Álvarez, Sebastian Rudolph, and Hannes Strass Proceedings of the 21st International Semantic Web Conference (ISWC 2022). [Paper]
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+. Lucía Gómez Álvarez, Sebastian Rudolph, and Hannes Strass. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), pp. 333–343. IJCAI Organization. [Paper]
Non-Monotonic S4F Standpoint Logic. Piotr Gorczyca and Hannes Strass. Proceedings of the 40th AAAI Conference on Artificial Intelligence (AAAI 2026), pp. 19126–19134. AAAI Press. [Paper]