2 research outputs found
Choice logics and their computational properties
Qualitative Choice Logic (QCL) and Conjunctive Choice Logic (CCL) are
formalisms for preference handling, with especially QCL being well established
in the field of AI. So far, analyses of these logics need to be done on a
case-by-case basis, albeit they share several common features. This calls for a
more general choice logic framework, with QCL and CCL as well as some of their
derivatives being particular instantiations. We provide such a framework, which
allows us, on the one hand, to easily define new choice logics and, on the
other hand, to examine properties of different choice logics in a uniform
setting. In particular, we investigate strong equivalence, a core concept in
non-classical logics for understanding formula simplification, and
computational complexity. Our analysis also yields new results for QCL and CCL.
For example, we show that the main reasoning task regarding preferred models is
-complete for QCL and CCL, while being -complete for a
newly introduced choice logic.Comment: This is an extended version of a paper of the same name to be
published at IJCAI 202
Automated Reasoning
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book