论证理论
语义学(计算机科学)
扩展(谓词逻辑)
表征(材料科学)
成对比较
计算机科学
人工智能
程序设计语言
认识论
哲学
材料科学
纳米技术
作者
Gustavo A. Bodanza,Fernando Tohmé,Guillermo Ricardo Simari
标识
DOI:10.1093/logcom/exu004
摘要
In this article, we extend Dung's formal approach from admissibility to less demanding extension semantics allowing arguments in cycles of attacks. We present an acceptance criterion leading to the characterization of three semantics called pairwise cogency , weak cogency and cyclic cogency . Particular game-theoretic protocols allow us to identify winning strategies with extensions in different semantics. Furthermore, an algorithmic characterization of those games exhibits clearly how self-attacking or in odd-length cycles of attack can be rationally managed beyond the limits of admissibility.
科研通智能强力驱动
Strongly Powered by AbleSci AI