Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

Abstract

Standpoint logics allow to represent multiple heterogeneous viewpoints in a unifying framework based on modal logic. We propose to combine standpoint modalities with the single modality of the non-monotonic modal logic S4F, thus defining standpoint S4F. The resulting language allows to express semantic commitments based on default reasoning. We define syntax and semantics of the logic, study the computational complexity of reasoning problems in the fragment of simple theories, and showcase standpoint S4F by exemplifying two concrete instantiations of the general language – standpoint default logic and standpoint argumentation frameworks.

Details

OriginalspracheEnglisch
TitelNMR 2024 - Nonmonotonic Reasoning 2024
Redakteure/-innenNina Gierasimczuk, Jesse Heyninck
Seiten83-93
Seitenumfang11
Band3835
PublikationsstatusVeröffentlicht - 1 Nov. 2024
Peer-Review-StatusJa

Externe IDs

Scopus 85210817397

Schlagworte

ASJC Scopus Sachgebiete

Schlagwörter

  • Default Logic, Modal Logic S4F, Standpoint Logic