分裂论证框架与集体攻击和支持

这项工作提出了论证形式主义的新颖分裂技术，其中结合了可废止元素之间的支持。我们的研究基于双极基于集合的论证框架(BSAFs)，该框架概括了具有集体攻击(SETAFs),的论证框架以及通过结合集体攻击和支持的双极论证框架(BAFs),。值得注意的是, BSAF 与结构化论证建立了至关重要的联系，因为它们自然地捕获了一般( 潜在非平坦) 基于假设的论证。表现力的增强需要多样化的分裂形式。我们考虑对集体攻击(的分裂，从而概括最近提出的SETAF),对集体支持,的分裂以及对集体攻击和支持的分裂的分裂技术。我们建立合适的分裂模式并证明它们对于最常见的论证语义的正确性。

This work proposes novel splitting techniques for argumentation formalisms that incorporate supports between defeasible elements. We base our studies on bipolar set-based argumentation frameworks (BSAFs) which generalize argumentation frameworks with collective attacks (SETAFs), as well as bipolar argumentation frameworks (BAFs), by incorporating both collective attacks and supports. Notably, BSAFs establish a crucial link to structured argumentation as they naturally capture general (potentially non-flat) assumption-based argumentation. The increase in expressiveness calls for diverse forms of splitting. We consider splits over collective attacks (thereby generalizing the recently proposed splitting techniques for SETAFs), splits over collective supports, as well as splits over both collective attacks and supports. We establish suitable splitting schemata and prove their correctness for the most common argumentation semantics.

科目: 人工智能 (cs.AI); 计算机科学逻辑 (cs.LO)

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)