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

逻辑学研究2025年第2期，62–74

文章编号：1674-3202(2025)-02-0062-13

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

余喆卢一苇伯克哈特·谢弗

摘要：形式论辩是一种可以在知识不一致情境下实现推理的非单调推理手段。在底

层知识的表示上，通常可以根据需求灵活采用不同的逻辑形式。在已有的法律推理系

统，例如法律本体、法律知识图谱或法律专家系统中，智能化的法律推理往往依托于

经典逻辑语言实现。这导致这些法律知识库的推理无法反映出法律推理中的不确定性、

不一致性、辩证性等特征，并限制了它们在法律任务中的实际应用。因此，本文结合了

道义逻辑与形式论辩，刻画基于法律语义下的规范推理。这一尝试旨在通过引入新的

推理功能与表达方式更好地包含法律推理的底层原则，并为之后更复杂的法律应用打

下基础。考虑到AI可解释问题，本文还基于所出的论辩系统给出了一个关于解释的

形式定义。

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

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

1引言

形式论辩旨在以计算机可理解的方式，运用符号逻辑形式化地捕捉人类推理

和论