Two forms of minimality in ASPIC+

Zimi Li, Andrea Cohen*, Simon Parsons

*Corresponding author for this work

Research output: Contribution to conference typesAbstractpeer-review

Abstract

Many systems of structured argumentation explicitly require that the facts and rules that make up the argument for a conclusion be the minimal set required to derive the conclusion. ASPIC+ does not place such a requirement on arguments, instead requiring that every rule and fact that are part of an argument be used in its construction. Thus ASPIC+ arguments are minimal in the sense that removing any element of the argument would lead to a structure that is not an argument. In this paper we discuss these two types of minimality and show how the first kind of minimality can, if desired, be recovered in ASPIC+.

Original languageEnglish
Pages203-218
Number of pages16
DOIs
Publication statusE-pub ahead of print - 14 Oct 2018
Event15th European Conference on Multi-Agent Systems, EUMAS 2017 and the 5th International Conference on Agreement Technologies, AT 2017 - Evry, France
Duration: 14 Dec 201715 Dec 2017

Conference

Conference15th European Conference on Multi-Agent Systems, EUMAS 2017 and the 5th International Conference on Agreement Technologies, AT 2017
Country/TerritoryFrance
CityEvry
Period14/12/201715/12/2017

Fingerprint

Dive into the research topics of 'Two forms of minimality in ASPIC+'. Together they form a unique fingerprint.

Cite this