ABA+: Assumption-Based Argumentation with Preferences
This work addresses a specific challenge in structured argumentation for AI and logic-based systems, representing an incremental advancement by extending an existing formalism with preference handling capabilities.
The paper tackles the problem of incorporating preferences into Assumption-Based Argumentation (ABA) by introducing ABA+, which integrates preference information over assumptions into the attack relation to enable attack reversal, resulting in a conservative extension that maintains desirable semantic relationships and preference handling properties.
We present ABA+, a new approach to handling preferences in a well known structured argumentation formalism, Assumption-Based Argumentation (ABA). In ABA+, preference information given over assumptions is incorporated directly into the attack relation, thus resulting in attack reversal. ABA+ conservatively extends ABA and exhibits various desirable features regarding relationship among argumentation semantics as well as preference handling. We also introduce Weak Contraposition, a principle concerning reasoning with rules and preferences that relaxes the standard principle of contraposition, while guaranteeing additional desirable features for ABA+.