提出了一种研讨模型.该模型用简化的Toulmin模型表示争议内部结构,用Dung的抽象辩论框架的方法定义争议之间的关系,给出了争议可防卫性和陈述可接受性算法.用该模型对已有文献中的实例重新建模,结果表明,该模型能够准确计算陈述可接受性并得出研讨结果.该模型研究出发点是对实际群体研讨建模,但也可以用于非经典逻辑形式系统建模.
This paper proposes a model of argumentation, in which the internal structures of arguments are expressed with the simplified Toulmin model, and the relations between arguments are defined with the method of Dung's abstract argumentation framework. It also gives the algorithms of the defensibility of an argument and the acceptability of a statement. This model is used to reconstruct the examples in the published literature, and results show that this model can accurately calculate the acceptability of statements and draw a conclusion from argumentation. This research is to construct models for real-world practices of argumentation, but the conclusion will contribute to the modeling of formal nonclassical logics systems.