Truth and Preferences -- A Game Approach for Qualitative Choice Logic

DOI10.1007/978-3-031-43619-2_37MaRDI QIDQ6411973zbMATH OpenOpenAlexFDO

Authors Robert Freiman, Michael Bernreiter

Publication date 26 September 2022

Full work available at URL https://doi.org/10.1007/978-3-031-43619-2_37

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

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.

Recommendations

• Qualitative choice logic
• Two alternatives for handling preferences in qualitative choice logic
• Qualitative model of game theory
• scientific article; zbMATH DE number 1759391
• Temporal logic with preferences and reasoning about games

Cited in

(4)

• An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability
• Sequent calculi for choice logics
• Reasoning about group polarization: from semantic games to sequent systems
• Playing with modalities (invited talk)

This page was built for publication: Truth and Preferences -- A Game Approach for Qualitative Choice Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6411973)