作为传统非单调逻辑的继承和发展,论辩逻辑(又称为"抽象论辩理论"、"形式论辩"等)提供了一种处理不一致问题的一般机制。它运用抽象的论证和攻击关系来刻画不一致情境中各种推理系统所共有的冲突处理逻辑结构,并通过建立具有一般意义的评价标准(称为"论辩语义")来定义论证集合的可接受性。这两个特点使得论辩逻辑对解决不一致情境中的推理问题具有普遍适用性:首先,由于论证状态的评估只与论证之间的攻击关系有关,底层知识的类别、来源、表示语言和表示方法等可以多种多样;第二,论辩语义所对应的评价标准适用于各种具体应用;第三,论辩逻辑既可以支持单主体的认识推理和实践推理,也可以支持多个主体间交互时的推理(如说服、争论、协商等)。当前,论辩逻辑研究领域的重点是论辨语义的定义和求解方法、论辩逻辑的实例化方法以及论辩逻辑的应用等。