The equivalence zoo for Dung-style semantics

Ringo Baumann, Gerhard Brewka

JOURNAL OF LOGIC AND COMPUTATION(2018)

引用 15|浏览30
暂无评分
摘要
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.
更多
查看译文
关键词
Argumentation,expansion equivalence
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要