27 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
Complexity results for answer set programming with bounded predicate arities and implications
14th International Workshop on Nonmonotonic Reasoning
Si veda sito web http://www.dbai.tuwien.ac.at/NMR12