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}$ .
argumentation theory; logical argumentation theory; sequent-based argumentation theory; attack principles;
Settore M-FIL/02 - Logica e Filosofia della Scienza
Settore INF/01 - Informatica
Settore MAT/01 - Logica Matematica
   Assegnazione Dipartimenti di Eccellenza 2023-2027 - Dipartimento di FILOSOFIA "PIERO MARTINETTI"
   DECC23_007
   MINISTERO DELL'UNIVERSITA' E DELLA RICERCA
2024
15-apr-2024
Article (author)
File in questo prodotto:
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/1046009
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 0
social impact