Statusvortrag im Promotionsver­fahren von Herrn Piotr Gorczyca

Titel: Integration of Multi-Perspective and Non-Monotonic Reasoning

Abstract: Non-monotonic reasoning (NMR) studies inference where adding new information can invalidate previously accepted conclusions. When multiple entities with different viewpoints are involved, we often want to know not only what conclusions follow, but also why and from whose perspective. This talk presents two complementary approaches to combining multi-perspective and non-monotonic reasoning — procedural and declarative.

On the procedural side, we focus on argumentation games — disputes where a proponent defends a claim while an opponent tries to refute it. Each player can represent a different perspective, arguing for or against a conclusion, and the dispute itself serves as an explanation for the outcome. We propose a novel architecture for implementing these disputes using multi-shot ASP, which combines a declarative encoding of dispute state with lightweight script-based control of dispute turns. This offers a much simpler and more concise codebase than other dispute systems, yet improves efficiency.

On the declarative side, we look at integrating standpoint logic — a framework for representing multiple, possibly conflicting perspectives — with the modal logic S4F, which can express many NMR formalisms. We explore two ways of combining these logics and show that the integration can be done without increasing the computational complexity of the base logics.

Betreuer: Dr. Hannes Straß, Institut für KI
Fachreferent: Prof. Markus Krötzsch, Institut für Theoretische Informatik