Bernreiter, M., & König, M. (2023). From Qualitative Choice Logic to Abstract Argumentation. In Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning (pp. 737–741). International Joint Conferences on Artificial Intelligence Organization. https://doi.org/10.24963/kr.2023/73
Qualitative Choice Logic (QCL) extends classical proposi-
tional formulas by a connective called ordered disjunction
that is used to express preferences. We translate QCL the-
ories to Argumentation Frameworks with Collective Attacks
(SETAFs), and show that the preferred models of the origi-
nal theory directly correspond to the semi-stable extensions
of the target framework. This further allows us to decide the
problem of preferred model entailment for QCL via SETAFs.
en
Project title:
Hybrid Parameterized Problem Solving in Practice: P32830-N (FWF - Österr. Wissenschaftsfonds)
