首页> 外文会议>International Conference on Principles of Knowledge Representation and Reasoning >Comparing Weak Admissibility Semantics to their Dung-style Counterparts - Reduct, Modularization, and Strong Equivalence in Abstract Argumentation
【24h】

Comparing Weak Admissibility Semantics to their Dung-style Counterparts - Reduct, Modularization, and Strong Equivalence in Abstract Argumentation

机译:将弱可接受性语义与其粪便对应物 - 减少,模块化和抽象论证的强劲等价

获取原文
获取外文期刊封面目录资料

摘要

Semantics based on weak admissibility were recently introduced to overcome a problem with self-defeating arguments that has not been solved for more than 25 years. The recursive definition of weak admissibility mainly relies on the notion of a reduct regarding a set E which only contains arguments which are neither in E, nor attacked by E. At first glance the reduct seems to be tailored for the weaker versions of Dung-style semantics only. In this paper we show that standard Dung semantics can be naturally reformulated using the reduct revealing that this concept is already implicit. We further identify a new abstract principle for semantics, so-called modularization describing how to obtain further extensions given an initial one. Its importance for the study of abstract argumentation semantics is shown by its ability to alternatively characterize classical and non-classical semantics. Moreover, we tackle the notion of strong equivalence via characterizing kernels and give a complete classification of the weak versions regarding well-known properties and postulates known from the literature.
机译:最近介绍了基于弱可视性的语义,克服了尚未解决了25年以上的自我挫败论据的问题。弱可受理的递归定义主要依赖于关于集合E的变化的概念,其仅包含既不在e中的参数,也不遭到E.乍一看,减少似乎为粪便较弱的版本量身定制仅限语义。在本文中,我们显示标准的粪便语义可以使用揭示该概念已经隐含的概念来自然重新重新重新重新制定。我们进一步确定了一个新的抽象原则,用于语义,所谓的模块化,描述了如何获得初始初始的进一步扩展。它对抽象论证语义研究的重要性是可以替代地表征古典和非古典语义的能力。此外,我们通过表征内核来解决强度等效的概念,并提供关于众所周知的属性和文献中已知的假设的弱版本的完整分类。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号