一种基于对话的论据可接受性计算方法研究

摘要

辩论理论是近年来人工智能领域研究的热点.计算论据的可接受性是辩论系统的重要研究内容,只有可接受的论据才能作为后续理性决策或推理的依据.以计算论据的轻信可按受性为出发点,将计算论据的轻信可接受性转化为寻找可容许集的过程,提出了基于对话的计算论据可接受性的方法,并对该对话进行了形式化定义.设计了对话的控制规则.基于该对话对计算论据轻信可接受的充分必要条件进行了证明,最后以一个例子对该对话过程作了示例说明.%Argumentation has come to be increasingly central as a core study within Artificial Intelligence (AI) over the past decades. Calculating acceptability of arguments is one of the main research topics of argumentation system, only the acceptable arguments can be used by rational decision - making and reasoning. Calculating argument's credulous are focused on acceptability , made it as a process of finding admissible set. It proposed a dialogue - based approach for calculating acceptability of arguments, defined the formal theory and designed the control rules of the dialogue. Then the sufficient and necessary conditions of calculating the credulous acceptability of arguments are proofed. Lastly a dialogue example is given to demonstrate how to use the calculate approach.