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

September 26, 2022 · The Ethereal · 🏛 European Conference on Logics in Artificial Intelligence

🔮 THE ETHEREAL: The Ethereal
Pure theory — exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Robert Freiman, Michael Bernreiter arXiv ID 2209.12777 Category cs.LO: Logic in CS Cross-listed cs.AI, math.LO Citations 5 Venue European Conference on Logics in Artificial Intelligence Last Checked 5 months ago
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.
Community shame:
Not yet rated
📄 View on arXiv 🌐 View on ar5iv 📑 PDF 🎉 Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

📜 Similar Papers

In the same crypt — Logic in CS