KR2023Proceedings of the 20th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 2-8, 2023.

Edited by
  1. Pierre Marquis,
  2. Tran Cao Son
  3. Gabriele Kern-Isberner

ISSN: 2334-1033
ISBN: 978-1-956792-02-7

Sponsored by
Published by

Copyright © 2023 International Joint Conferences on Artificial Intelligence Organization

From Qualitative Choice Logic to Abstract Argumentation

  1. Michael Bernreiter(TU Wien)
  2. Matthias König(TU Wien)
PDF
BibTeX
https://doi.org/10.24963/kr.2023/73

Keywords

  1. Argumentation
  2. Nonmonotonic logics, default logics, conditional logics
  3. Computational aspects of knowledge representation

Abstract

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.