首页> 外文期刊>Journal of logic and computation >The equivalence zoo for Dung-style semantics
【24h】

The equivalence zoo for Dung-style semantics

机译:粪便式语义的等效动物园

获取原文
获取原文并翻译 | 示例
           

摘要

Notions of equivalence that are stronger than standard equivalence in the sense that they also take potential modifications of the available information into account have received considerable interest in non-monotonic reasoning. In this article, we focus on equivalence notions in argumentation. More specifically, we establish a number of new results about the relationships among various equivalence notions for Dung argumentation frameworks that are located between strong equivalence (Oikarinen and Woltran, 2011, Art. Intell, 175, 1985-2009) and standard equivalence. We provide the complete picture for this variety of equivalence relations (which we call the equivalence zoo) for stable, preferred, admissible and complete semantics.
机译:从标准等价性的意义上说,它们还考虑了对可用信息的潜在修改,因此它们比标准等价性概念更受关注,这已引起非单调推理的极大兴趣。在本文中,我们重点讨论论证中的等价概念。更具体地说,我们建立了关于Dung论证框架的各种等效概念之间关系的许多新结果,这些论点位于强等效(Oikarinen和Woltran,2011; Art.Intell,175,1985-2009)和标准等效之间。我们提供了各种等价关系(我们称为等价动物园)的完整图片,以了解稳定的,首选的,可接受的和完整的语义。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号