论证与人工智能（argumentation and artificial intelligence），哲学-哲学-逻辑学-逻辑，对人工智能中论证的研究。主要代表人物有J.L.普洛克、董潘明、H.帕肯、G.沙托尔、B.维赫雅和D.N.沃尔顿等。其历史根源是20世纪70年代出现的非单调逻辑，包括缺省推理逻辑、限定理论、自认知逻辑和非单调继承等。非单调逻辑研究促进基于逻辑语言形式的计算机编程的革新，诸如Prolog和专家系统。由于非单调逻辑系统过于强调形式充分性，对实质充分性和计算充分性关注不足，20世纪90年代以来，人工智能中的论证研究转向可废止推理、抽象论证、多主体系统和法律论证模型等领域。①可废止推理是为论证建模的经典工具，在击败形式上包括三种：削弱论证、反证论证和底切论证。这些论证击败形式已被运用于可废止论证形式建模的ASPIC+系统之中。②抽象论证是对论证之间攻击关系的形式研究，目标是为论证建立一个坚实的数学基础。它运用有向图表示论证之间的攻击关系，核心思想是可采论证集，语义学包括“优先语义学”和“稳定语义学”，以及“有根语义学”和“完备语义学”等多种解释理论。