Properties of ABA+ for Non-Monotonic Reasoning

Abstract

We investigate properties of ABA+, a formalism that extends the well studied structured argumentation formalism Assumption-Based Argumentation (ABA) with a preference handling mechanism. In particular, we establish desirable properties that ABA+ semantics exhibit. These pave way to the satisfaction by ABA+ of some (arguably) desirable principles of preference handling in argumentation and nonmonotonic reasoning, as well as non-monotonic inference properties of ABA+ under various semantics.

This is a revised version of the paper presented at the workshop

References in corpus (4)

• Change in Abstract Argumentation Frameworks: Adding an Argument
• AFRA: Argumentation framework with recursive attacks
• Complexity of Prioritized Default Logics
• Abduction and Dialogical Proof in Argumentation and Logic Programming

Cited by in corpus (1)

• Assumption-Based Approaches to Reasoning with Priorities