论文标题
真理和偏好 - 定性选择逻辑的游戏方法
Truth and Preferences -- A Game Approach for Qualitative Choice Logic
论文作者
论文摘要
在本文中，我们为定性选择逻辑（QCL）介绍了游戏理论语义（GTS），为了表达偏好，它将使用称为有序分离的额外结节扩展了经典的命题逻辑。首先，我们证明了游戏语义可以自然地捕获QCL的现有基于学位的语义。其次，我们表明可以利用游戏语义来推导QCL语言的新语义。特别是，我们提出了一种新的语义，该语义利用GTS否定，并避免了现有QCL-仪式中的否定问题。
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.
