A Study of Argumentative Characterisations of Preferred Subtheories
A Study of Argumentative Characterisations of Preferred Subtheories
Marcello D'Agostino, Sanjay Modgil
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
Main track. Pages 1788-1794.
https://doi.org/10.24963/ijcai.2018/247
Classical logic argumentation (Cl-Arg) under the
stable semantics yields argumentative characterisations
of non-monotonic inference in Preferred Subtheories.
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.
Keywords:
Knowledge Representation and Reasoning: Non-monotonic Reasoning
Agent-based and Multi-agent Systems: Agreement Technologies: Argumentation
Knowledge Representation and Reasoning: Computational Models of Argument