Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
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
| Original language | English |
|---|---|
| Title of host publication | NMR 2024 - Nonmonotonic Reasoning 2024 |
| Editors | Nina Gierasimczuk, Jesse Heyninck |
| Pages | 83-93 |
| Number of pages | 11 |
| Volume | 3835 |
| Publication status | Published - 1 Nov 2024 |
| Peer-reviewed | Yes |
External IDs
| Scopus | 85210817397 |
|---|
Keywords
ASJC Scopus subject areas
Keywords
- Default Logic, Modal Logic S4F, Standpoint Logic