A Study of Argumentative Characterisations of Preferred Subtheories

TY - CHAP

T1 - A Study of Argumentative Characterisations of Preferred Subtheories

AU - Modgil, Sanjay

AU - D'Agostino, Marcello

PY - 2018/5

Y1 - 2018/5

N2 - Classical logic argumentation (Cl-Arg) under the stablesemanticsyieldsargumentativecharacterisationsofnon-monotonicinferenceinPreferredSubtheories. This paper studies these characterisations under both the standard approach to Cl-Arg, and a recentdialecticalapproachthatisprovablyrational 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

AB - Classical logic argumentation (Cl-Arg) under the stablesemanticsyieldsargumentativecharacterisationsofnon-monotonicinferenceinPreferredSubtheories. This paper studies these characterisations under both the standard approach to Cl-Arg, and a recentdialecticalapproachthatisprovablyrational 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

M3 - Conference paper

BT - International Joint Conference on Artificial Intelligence and European Conference on Artificial Intelligence 2018

ER -