论裁判文书释法说理的人工智能建模

裁判文书释法说理是一种发生在法律实践语境中的论证活动,它要求法官进行充分说理并确保裁判结果得到普遍接受。论证型式是从日常生活论证中抽象出来的“半形式化的论证模板”,它可以作为裁判文书释法说理智能建模的分析工具。符号主义与联结主义融合的法律人工智能研究构成了裁判文书释法说理人工智能建模的基本进路。基于法律规则的论证型式、基于类案的论证型式以及基于规则外要素的论证型式将裁判文书释法说理复现为一种对抗式的论辩,它们不仅可以刻画和建构不同说理模型的内在结构,实现论证评价的可计算化,而且可以成为机器设定论证程序的工作范本。同时,通过“论证挖掘-论证型式识别-论辩推演-论证建构”的工作流程,也可以实现裁判文书释法说理的文本输出。