Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
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
| Originalsprache | Englisch |
|---|---|
| Titel | NMR 2024 - Nonmonotonic Reasoning 2024 |
| Redakteure/-innen | Nina Gierasimczuk, Jesse Heyninck |
| Seiten | 83-93 |
| Seitenumfang | 11 |
| Band | 3835 |
| Publikationsstatus | Veröffentlicht - 1 Nov. 2024 |
| Peer-Review-Status | Ja |
Externe IDs
| Scopus | 85210817397 |
|---|
Schlagworte
ASJC Scopus Sachgebiete
Schlagwörter
- Default Logic, Modal Logic S4F, Standpoint Logic