Splitting Techniques for Bipolar Set-Based Argumentation Frameworks
A new paper on arXiv proposes splitting techniques for bipolar set-based argumentation frameworks (BSAFs), which generalize existing frameworks by incorporating both collective attacks and supports. BSAFs extend SETAFs (argumentation frameworks with collective attacks) and BAFs (bipolar argumentation frameworks) by adding collective supports, and they naturally capture non-flat assumption-based argumentation. The study introduces splitting methods for collective attacks, collective supports, and both combined, proving correctness for common argumentation semantics. This work advances formal argumentation theory, relevant to AI reasoning systems.
Key facts
- The paper proposes novel splitting techniques for argumentation formalisms with supports.
- BSAFs generalize SETAFs and BAFs by incorporating both collective attacks and supports.
- BSAFs establish a link to structured argumentation, capturing non-flat assumption-based argumentation.
- Splitting techniques are introduced for collective attacks, collective supports, and both.
- Correctness of splitting schemata is proven for common argumentation semantics.
- The work is categorized under Computer Science > Artificial Intelligence.
- The paper is available on arXiv with ID 2604.28112.
- The submission history is included in the source.
Entities
Institutions
- arXiv