Standpoint Logics with Defeasible Beliefs

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Contributors

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

Original languageEnglish
Title of host publicationProceedings of the 24th International Workshop on Non-Monotonic Reasoning (NMR 2026), Lisbon, Portugal, July 17 - 19, 2026
Publication statusPublished - 2026
Peer-reviewedYes

Publication series

SeriesCEUR workshop proceedings
Volume4239
ISSN1613-0073

Workshop

Title24th International Workshop on Non-Monotonic Reasoning
Abbreviated titleNMR 2026
Conference number24
DescriptionCo-located with KR 2026 at FLoC 2026
Duration17 - 19 July 2026
Website
LocationInstituto Universitario de Lisboa (ISCTE-IUL)
CityLisbon
CountryPortugal

Keywords

ASJC Scopus subject areas

Keywords

  • Defeasible Reasoning, Modal Logics, Standpoint Logics