提出支持与攻击共存的论证框架分割方法，提升表达力与分析效率。
Splitting Argumentation Frameworks with Collective Attacks and Supports
- 基于带集体攻防的双极论证框架，设计三类分割策略
- 证明主流语义下分割方案正确性，支持复杂论证结构
- 适用于假设驱动的非平面论证分析，适合逻辑推理研究者
本文针对包含可撤销元素间支持关系的论证形式化体系，提出新型分割技术。研究基于双极集合型论证框架（BSAFs），该框架在集束攻击（SETAFs）与双极论证框架（BAFs）基础上，同时引入集体攻击与支持关系，具有更强表达能力，并自然建模一般性（可能非平坦）的假设驱动论证。表达力增强需多样分割方式。本文探讨对集体攻击、集体支持，以及攻防并行的分割机制，建立适配的分割模式，并在最常见论证语义下证明其正确性。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。