简介:本书中我们提出3种不同的辩论语义计算的新颖方法(computing the semantics of a static argumentation system, computing the semantics of a dynamic argumentation system, and computing the partial semantics of an argumentation system)。证明了这些方法是非常有效的。由于与辩论可接受度有关的许多问题的计算不可实现性,本书中提出的新方法为该领域今后的发展奠定了坚实基础,因此对于该领域内的研究人员有着非同寻常的吸引力和兴趣。