CAJ | 학술논문

作为传统非单调逻辑的继承和发展，论辩逻辑（又称为“抽象论辩理论”、“形式论辩”等）提供了一种处理不一致问题的一般机制。它运用抽象的论证和攻击关系来刻画不一致情境中各种推理系统所共有的冲突处理逻辑结构，并通过建立具有一般意义的评价标准（称为“论辩语义”）来定义论证集合的可接受性。这两个特点使得论辩逻辑对解决不一致情境中的推理问题具有普遍适用性：首先，由于论证状态的评估只与论证之间的攻击关系有关，底层知识的类别、来源、表示语言和表示方法等可以多种多样；第二，论辩语义所对应的评价标准适用于各种具体应用；第三，论辩逻辑既可以支持单主体的认识推理和实践推理，也可以支持多个主体间交互时的推理（如说服、争论、协商等）。当前，论辩逻辑研究领域的重点是论辨语义的定义和求解方法、论辫逻辑的买例化方法以及论辩逻辑的应用等。
작위전통비단조라집적계승화발전，론변라집（우칭위“추상론변이론”、“형식론변”등）제공료일충처리불일치문제적일반궤제。타운용추상적론증화공격관계래각화불일치정경중각충추리계통소공유적충돌처리라집결구，병통과건립구유일반의의적평개표준（칭위“론변어의”）래정의론증집합적가접수성。저량개특점사득론변라집대해결불일치정경중적추리문제구유보편괄용성：수선，유우론증상태적평고지여론증지간적공격관계유관，저층지식적유별、래원、표시어언화표시방법등가이다충다양；제이，론변어의소대응적평개표준괄용우각충구체응용；제삼，론변라집기가이지지단주체적인식추리화실천추리，야가이지지다개주체간교호시적추리（여설복、쟁론、협상등）。당전，론변라집연구영역적중점시론변어의적정의화구해방법、론변라집적매례화방법이급론변라집적응용등。
As a development of classical nonmonotoiuc logic,argumentation logic（also called abstract argumentation theory, and formal argumentation, etc. ） provides a general mechanism to handle the problems of inconsistency in various situations. It captures the common properties of various reasoning systems in a context of disagreement by using abstract arguments and attack relations, and defines the acceptability of arguments by establishing general evaluation criteria （called argumentation semantics ）. This makes argumentation logic generally applicable to various situations. First, since the evaluation of the status of arguments is only related to the attack relations among them, the types, origins, representation languages and methods, of underlying knowledge, are allowed to be diverse. Second, the evaluation criteria corresponding to certain argumentation semantics are suitable to various applications. Third, argumentation logic not only supports the episternic reasoning and the practical reasoning of individual agents, but also supports the reasoning in the process of multiagent interaction （e. g. , persuasion, disputation, negotiation, etc）. Currently, the emphasis of the research of argumentation logic is on the definitions and computational methods of argumentation semantics, the instantiation approaches of argumentation semantics, and the applications of argumentation semantics, etc.