Properties of ABA+ for Non-Monotonic Reasoning
This work addresses theoretical foundations for argumentation and non-monotonic reasoning, but it appears incremental as it builds on existing formalisms.
The paper investigates ABA+, an extension of Assumption-Based Argumentation with a preference handling mechanism, establishing its desirable properties for semantics and principles in non-monotonic reasoning.
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.