King's College London

Research portal

On the Interaction between Logic and Preference in Structured Argumentation

Research output: Chapter in Book/Report/Conference proceedingConference paper

Original languageEnglish
Title of host publicationProceedings of the 4th Intl. Conference on Theory and Applications of Formal Argumentation
PublisherSpringer
Accepted/In press2017

Publication series

NameLecture Notes in Artificial Intelligence
PublisherSpringer

King's Authors

Abstract

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.

View graph of relations

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454