Properties of ABA+ for 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.Comment: This is a revised version of the paper presented at the worksho

Non-monotonic inference properties for assumption-based argumentation

Cumulative Transitivity and Cautious Monotonicity are widely considered as important properties of non-monotonic inference and equally as regards to information change. We propose three novel formulations of each of these properties for Assumption-Based Argumentation (ABA)-an established structured argumentation formalism, and investigate these properties under a variety of ABA semantics

On the Difference between Assumption-Based Argumentation and Abstract Argumentation

Acknowledgements The first author has been supported by the National Research Fund, Luxembourg (LAAMI project) and by the Engineering and Physical Sciences Research Council (EPSRC, UK), grant ref. EP/J012084/1 (SAsSy project). The second and third authors have been supported by CNPq (Universal 2012 - Proc. no. 473110/2012-1), CAPES (PROCAD 2009) and CNPq/CAPES (Casadinho/PROCAD 2011).Peer reviewedPostprin

On the Difference between Assumption-Based Argumentation and Abstract Argumentation

Preprin