Classical logic argumentation (Cl-Arg) under the stable semantics yields argumentative characterisa- tions of non-monotonic inference in Preferred Sub- theories. This paper studies these characterisations under both the standard approach to Cl-Arg, and a recent dialectical approach that is provably rational under resource bounds. Two key contributions are made. Firstly, the preferred extensions are shown to coincide with the stable extensions. This means that algorithms and proof theories for the admissible semantics can now be used to decide credulous inference in Preferred Subtheories. Secondly, we show that as compared with the standard approach, the grounded semantics applied to the dialectical approach more closely approximates sceptical inference in Preferred Subtheories.

A Study of Argumentative Characterisations of Preferred Subtheories / M. D'Agostino, S. Modgil - In: Proceedings of IJCAI 2018 / [a cura di] J. Lang. - Prima edizione. - Ebook. - [s.l] : Iinternational Joint Conferences in Artificial Intelligence (IJCA), 2018. - ISBN 9780999241127. - pp. 1788-1794 (( convegno IJCAI tenutosi a Stockolm nel 2018.

A Study of Argumentative Characterisations of Preferred Subtheories

M. D'Agostino;
2018

Abstract

Classical logic argumentation (Cl-Arg) under the stable semantics yields argumentative characterisa- tions of non-monotonic inference in Preferred Sub- theories. This paper studies these characterisations under both the standard approach to Cl-Arg, and a recent dialectical approach that is provably rational under resource bounds. Two key contributions are made. Firstly, the preferred extensions are shown to coincide with the stable extensions. This means that algorithms and proof theories for the admissible semantics can now be used to decide credulous inference in Preferred Subtheories. Secondly, we show that as compared with the standard approach, the grounded semantics applied to the dialectical approach more closely approximates sceptical inference in Preferred Subtheories.
Settore M-FIL/02 - Logica e Filosofia della Scienza
https://www.ijcai.org/proceedings/2018/
Book Part (author)
File in questo prodotto:
File Dimensione Formato  
0247.pdf

accesso riservato

Tipologia: Publisher's version/PDF
Dimensione 165.93 kB
Formato Adobe PDF
165.93 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

Caricamento 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/588200
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 10
  • ???jsp.display-item.citation.isi??? 9
social impact