Standpoint Logics with Defeasible Beliefs

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Beitragende

Abstract

In this paper, we integrate the defeasible logic of Kraus, Lehmann and Magidor (KLM) with the standpoint logic framework of Gómez Álvarez and Rudolph. This is done with the goal of formally expressing knowledge taking into account multiple (possibly contradicting) viewpoints, which in turn may hold defeasible beliefs. In doing so, we utilise Defeasible Restricted Standpoint Logics (DRSL), introduced by Leisegang et al. Our work expands on previous work by providing a foundational representation result for DRSL semantics and systematically lifting several well-known entailment relations from the propositional case to the standpoint-enhanced setting. In particular, we characterise the semantics for DRSL through a set of KLM-style postulates adapted for the standpoints case. We furthermore provide a means to lift preferential entailment, and the class of entailment relations based on single ranking functions from the purely propositional to the standpoint-enhanced context, including rational and lexicographic closure. We show this can be done equivalently through semantic and algorithmic means. Furthermore, we show that, for each considered form of entailment, the complexity class of entailment checking does not change when moving from propositional KLM to DRSL.

Details

OriginalspracheEnglisch
TitelProceedings of the 24th International Workshop on Non-Monotonic Reasoning (NMR 2026), Lisbon, Portugal, July 17 - 19, 2026
PublikationsstatusVeröffentlicht - 2026
Peer-Review-StatusJa

Publikationsreihe

ReiheCEUR workshop proceedings
Band4239
ISSN1613-0073

Workshop

Titel24th International Workshop on Non-Monotonic Reasoning
KurztitelNMR 2026
Veranstaltungsnummer24
BeschreibungCo-located with KR 2026 at FLoC 2026
Dauer17 - 19 Juli 2026
Webseite
OrtInstituto Universitario de Lisboa (ISCTE-IUL)
StadtLisbon
LandPortugal

Schlagworte

ASJC Scopus Sachgebiete

Schlagwörter

  • Defeasible Reasoning, Modal Logics, Standpoint Logics