On the Interaction Between Logic and Preference in Structured Argumentation

The structure-preference (SP) order is a way of defining argument preference relations in structured argumentation theory that takes into account how arguments are constructed. The SP order was first introduced in the context of endowing Brewka's prioritised default logic (PDL) with sound and complete argumentation semantics. In this paper, we further articulate the underlying intuitions of the SP order in terms of how an agent should construct arguments. We also compare the SP order to other argument preference relations and illustrate the different results one would obtain. Finally, we prove that the SP order allows for the original version of PDL to satisfy Brewka's and Eiter's postulates.