Rationality and maximal consistent sets for a fragment of ASPIC+ without undercut

Argument and Computation 12 (1):3-47 (2021)
  Copy   BIBTEX

Abstract

Structured argumentation formalisms, such as [Formula: see text], offer a formal model of defeasible reasoning. Usually such formalisms are highly parametrized and modular in order to provide a unifying framework in which different forms of reasoning can be expressed. This generality comes at the price that, in their most general form, formalisms such as [Formula: see text] do not satisfy important rationality postulates, such as non-interference. Similarly, links to other forms of knowledge representation, such as reasoning with maximal consistent sets of rules, are insufficiently studied for [Formula: see text] although such links have been established for other, less complex forms of structured argumentation where defeasible rules are absent. Clearly, for a formal model of defeasible reasoning it is important to understand for which range of parameters the formalism (a) displays a behavior that adheres to common standards of consistency, logical closure and logical relevance and (b) can be adequately described in terms of other well-known forms of knowledge representation. In this paper we answer this question positively for a fragment of [Formula: see text] without the attack form undercut by showing that it satisfies all standard rationality postulates of structured argumentation under stable and preferred semantics and is adequate for reasoning with maximal consistent sets of defeasible rules. The study is general in that we do not impose any other requirements on the strict rules than to be contrapositable and propositional and in that we also consider priorities among defeasible rules, as long as they are ordered by a total preorder and lifted by weakest link. In this way we generalize previous similar results for other structured argumentation frameworks and so shed further light on the close relations between assumption-based argumentation and [Formula: see text].

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,343

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Abstract argumentation.Robert A. Kowalski & Francesca Toni - 1996 - Artificial Intelligence and Law 4 (3-4):275-296.

Analytics

Added to PP
2024-11-22

Downloads
7 (#1,667,656)

6 months
7 (#469,699)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gabriella Pigozzi
Université Paris Dauphine

Citations of this work

Argumentation with justified preferences.Sung-Jun Pyon - 2024 - Argument and Computation 15 (2):205-250.

Add more citations