结合道义逻辑的人工智能论辩系统法律推理

逻辑学研究 2025 年第 2 期， 62–74                文章编号：1674-3202(2025)-02-0062-13

作者：余喆，卢一苇，伯克哈特·谢弗

摘要：形式论辩是一种可以在知识不一致情境下实现推理的非单调推理手段。在底层知识的表示上，通常可以根据需求灵活采用不同的逻辑形式。在已有的法律推理系统，例如法律本体、法律知识图谱或法律专家系统中，智能化的法律推理往往依托于经典逻辑语言实现。这导致这些法律知识库的推理无法反映出法律推理中的不确定性、不一致性、辩证性等特征，并限制了它们在法律任务中的实际应用。因此，本文结合了道义逻辑与形式论辩，刻画基于法律语义下的规范推理。这一尝试旨在通过引入新的推理功能与表达方式更好地包含法律推理的底层原则，并为之后更复杂的法律应用打下基础。考虑到 AI 可解释问题，本文还基于所提出的论辩系统给出了一个关于解释的形式定义。

关键词：形式论辩；道义逻辑；规范推理；可解释人工智能；非单调推理

中图分类号：B81                                文献标识码：A