资源论文A Study of Argumentative Characterisations of Preferred Subtheories Marcello D’Agostino1 and Sanjay Modgil2

A Study of Argumentative Characterisations of Preferred Subtheories Marcello D’Agostino1 and Sanjay Modgil2

2019-11-05 | |  72 |   35 |   0
Abstract 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.

上一篇:Belief Update in the Horn Fragment

下一篇:Probabilistic Bipolar Abstract Argumentation Frameworks: Complexity Results Bettina Fazzinga1 and Sergio Flesca2 and Filippo Furfaro2

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Rating-Boosted La...

    The performance of a recommendation system reli...