On the Interaction between Logic and Preference in Structured Argumentation

Odinaldo Teixeira Rodrigues; Sanjay Modgil; Anthony Peter Young

On the Interaction between Logic and Preference in Structured Argumentation

Odinaldo Teixeira Rodrigues, Sanjay Modgil, Anthony Peter Young

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

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.

Original language	English
Title of host publication	Proceedings of the 4th Intl. Conference on Theory and Applications of Formal Argumentation
Publisher	Springer
Publication status	Accepted/In press - 2017

Publication series

Name	Lecture Notes in Artificial Intelligence
Publisher	Springer

Cite this

@inbook{23fd1467f9d24c56a76d4a1ca59fc820,

title = "On the Interaction between Logic and Preference in Structured Argumentation",

abstract = "The structure-preference (SP) order is a way of defining argumentpreference relations in structured argumentation theory that takesinto account how arguments are constructed. The SP order was firstintroduced in the context of endowing Brewka{\textquoteright}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 termsof how an agent should construct arguments. We also compare the SPorder to other argument preference relations and illustrate the differentresults one would obtain. Finally, we prove that the SP order allows forthe original version of PDL to satisfy Brewka{\textquoteright}s and Eiter{\textquoteright}s postulates.",

author = "Rodrigues, {Odinaldo Teixeira} and Sanjay Modgil and Young, {Anthony Peter}",

year = "2017",

language = "English",

series = "Lecture Notes in Artificial Intelligence",

publisher = "Springer",

booktitle = "Proceedings of the 4th Intl. Conference on Theory and Applications of Formal Argumentation",

}

On the Interaction between Logic and Preference in Structured Argumentation. / Rodrigues, Odinaldo Teixeira ; Modgil, Sanjay; Young, Anthony Peter.
Proceedings of the 4th Intl. Conference on Theory and Applications of Formal Argumentation. Springer, 2017. (Lecture Notes in Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

TY - CHAP

T1 - On the Interaction between Logic and Preference in Structured Argumentation

AU - Rodrigues, Odinaldo Teixeira

AU - Modgil, Sanjay

AU - Young, Anthony Peter

PY - 2017

Y1 - 2017

N2 - The structure-preference (SP) order is a way of defining argumentpreference relations in structured argumentation theory that takesinto account how arguments are constructed. The SP order was firstintroduced 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 termsof how an agent should construct arguments. We also compare the SPorder to other argument preference relations and illustrate the differentresults one would obtain. Finally, we prove that the SP order allows forthe original version of PDL to satisfy Brewka’s and Eiter’s postulates.

AB - The structure-preference (SP) order is a way of defining argumentpreference relations in structured argumentation theory that takesinto account how arguments are constructed. The SP order was firstintroduced 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 termsof how an agent should construct arguments. We also compare the SPorder to other argument preference relations and illustrate the differentresults one would obtain. Finally, we prove that the SP order allows forthe original version of PDL to satisfy Brewka’s and Eiter’s postulates.

M3 - Conference paper

T3 - Lecture Notes in Artificial Intelligence

BT - Proceedings of the 4th Intl. Conference on Theory and Applications of Formal Argumentation

PB - Springer

ER -

On the Interaction between Logic and Preference in Structured Argumentation

Abstract

Publication series

Fingerprint

Cite this