Freiman, R., & Bernreiter, M. (2022, September 27). Truth and Preferences - A Game Approach for Qualitative Choice Logics [Conference Presentation]. 13th Multidisciplinary Workshop on Advances in Preference Handling (M-PREF 2022), Wien, Austria. https://doi.org/10.34726/3764
13th Multidisciplinary Workshop on Advances in Preference Handling (M-PREF 2022)
en
Event date:
29-Jul-2022
-
Event place:
Wien, Austria
-
Keywords:
Games; Preference Modelling and Preference-Based Reasoning; Choice Logics
en
Abstract:
In this paper, we introduce game-theoretic semantics (GTS) for Qualitative Choice Logic (QCL), which, in order to express preferences, extends classical propositional logic with an additional connective called ordered disjunction. Firstly, we demonstrate that game semantics can capture existing degree-based semantics for QCL in a natural way. Secondly, we show that game semantics can be leveraged to derive new semantics for the language of QCL. In particular, we present a new semantics that makes use of GTS negation and, by doing so, avoids problems with negation in existing QCL-semantics.
en
Project title:
Von semantischen Spielen zu Kalkülen – und retour: P32684-N (Fonds zur Förderung der wissenschaftlichen Forschung (FWF))
