This paper continues an established line of research about the relations between argumentation theory, particularly assumption-based argumentation, and different kinds of logic programs. In particular, we extend known result of Caminada, Schultz and Toni by showing that assumption-based argumentation can represent not only normal logic programs, but also disjunctive logic programs and their extensions. For this, we consider some inference rules for disjunction that the core logic of the argumentation frameworks should respect, and show the correspondence to the handling of disjunctions in the heads of the logic programs' rules.

翻译：本文延续了关于论证理论（尤其是基于假设的论证）与不同类型逻辑程序之间关系的已有研究方向。具体而言，我们推广了Caminada、Schultz和Toni的已知结论，证明基于假设的论证不仅能表示正常逻辑程序，还能表示析取逻辑程序及其扩展。为此，我们考虑了论证框架的核心逻辑应遵循的若干析取推理规则，并展示了这些规则与逻辑程序规则头部析取处理方式之间的对应关系。