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
| Originalsprache | Englisch |
|---|---|
| Titel | Proceedings of the 24th International Workshop on Non-Monotonic Reasoning (NMR 2026), Lisbon, Portugal, July 17 - 19, 2026 |
| Publikationsstatus | Veröffentlicht - 2026 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | CEUR workshop proceedings |
|---|---|
| Band | 4239 |
| ISSN | 1613-0073 |
Workshop
| Titel | 24th International Workshop on Non-Monotonic Reasoning |
|---|---|
| Kurztitel | NMR 2026 |
| Veranstaltungsnummer | 24 |
| Beschreibung | Co-located with KR 2026 at FLoC 2026 |
| Dauer | 17 - 19 Juli 2026 |
| Webseite | |
| Ort | Instituto Universitario de Lisboa (ISCTE-IUL) |
| Stadt | Lisbon |
| Land | Portugal |
Schlagworte
ASJC Scopus Sachgebiete
- Allgemeine Computerwissenschaft - Defeasible Reasoning, Modal Logics, Standpoint Logics
Schlagwörter
- Defeasible Reasoning, Modal Logics, Standpoint Logics