诉答博弈 程序性公正的人工智能模型

本书中，作者旨在发展法律论辩的一种形式化模型，他称之为“诉讼游戏”。这种模型以对话逻辑为基础，适用于评估法律论辩语境下的可废止的论证规则的有效性和优先性问题。在该书中，高登教授不仅评估了特殊法律论域情境下的法律论辩与推理理论，还在此基础上试图建立司法裁判程序的模型，尤其是对法官在审理案件中的自由裁量权的使用进行形式刻画。该书针对民事诉讼建立了诉讼游戏的一个特殊模型，在该模型中，不仅争议各方的论证结构得到形式化，而且法官裁决案件的论证得到分析和研究。