Rhodes, Greece. September 2-8, 2023.
Copyright © 2023 International Joint Conferences on Artificial Intelligence Organization
Qualitative Choice Logic (QCL) extends classical propositional formulas by a connective called ordered disjunction that is used to express preferences.
We translate QCL theories to Argumentation Frameworks with Collective Attacks (SETAFs), and show that the preferred models of the original 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.