Record link: 
http://hdl.handle.net/20.500.12708/153107
-
Title: 
Truth and Preferences - A Game Approach for Qualitative Choice Logic
en
Citation: 
Bernreiter, M., & Freiman, R. (2022). Truth and Preferences - A Game Approach for Qualitative Choice Logic [Conference Presentation]. M-PREF 2022 - 13th Multidisciplinary Workshop on Advances in Preference Handling, Wien, Austria. https://doi.org/10.48550/arXiv.2209.12777
-
Publisher DOI: 
10.48550/arXiv.2209.12777
-
Publication Type: 
Presentation - Conference Presentation
en
Language: 
English
-
Authors: 
Bernreiter, Michael 
Freiman, Robert 
-
Organisational Unit: 
E192-02 - Forschungsbereich Databases and Artificial Intelligence 
-
Date (published): 
2022
-
Event name: 
M-PREF 2022 - 13th Multidisciplinary Workshop on Advances in Preference Handling 
en
Event date: 
23-Jul-2022
-
Event place: 
Wien, Austria
-
Keywords: 
game-theoretic semantics (GTS); Qualitative Choice Logic (QCL); logic; degree-based semantics; negation
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 ex- isting 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.
-
Project title: 
Hybrid Parameterized Problem Solving in Practice: P32830-N (Fonds zur Förderung der wissenschaftlichen Forschung (FWF)) 
Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI: ICT19-065 (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds) 
-
Link (external): 
https://sites.google.com/view/m-pref2022/program
-
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Appears in Collections:
Presentation

Show full item record

Page view(s)

193
checked on Nov 23, 2023

Google ScholarTM

Check