Attack principles have been introduced in semi-abstract argumentation frameworks and, in the present work, we interpret them in sequent-based argumentation frameworks. Thus, we investigate the role of minimality and consistency of the support set of an argument. Through the notion of preservation of strength, we introduce a formal criterion to sort out the attack principles; isolate the more "acceptable" ones, i.e. those easier to justify; and recover a new argumentative semantics for the non-classical logic that arises from dropping the rules $(\neg , r)$ , $(\land , r)$ and $(\supset , l)$ from Gentzen's classical sequent calculus for classical logic $\textsf{LK}$ .
Attack principles in sequent-based argumentation theory / E.A. Corsi. - In: JOURNAL OF LOGIC AND COMPUTATION. - ISSN 0955-792X. - (2024), pp. 1-41. [Epub ahead of print] [10.1093/logcom/exad080]
Attack principles in sequent-based argumentation theory
E.A. Corsi
Primo
2024
Abstract
Attack principles have been introduced in semi-abstract argumentation frameworks and, in the present work, we interpret them in sequent-based argumentation frameworks. Thus, we investigate the role of minimality and consistency of the support set of an argument. Through the notion of preservation of strength, we introduce a formal criterion to sort out the attack principles; isolate the more "acceptable" ones, i.e. those easier to justify; and recover a new argumentative semantics for the non-classical logic that arises from dropping the rules $(\neg , r)$ , $(\land , r)$ and $(\supset , l)$ from Gentzen's classical sequent calculus for classical logic $\textsf{LK}$ .File | Dimensione | Formato | |
---|---|---|---|
exad080 (1).pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
859.74 kB
Formato
Adobe PDF
|
859.74 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.