本书系统介绍法律推理的计算模型、计算机如何对法律文本进行解析和推理的计算模型, 以及其与法律文本如何连接。本书是读者了解新技术时代法律新工具如何建构、如何运行、在哪些方面更加有用的必读图书。全书由三个部分十二章组成。第一部分法律推理的计算模型, 有五章, 包含导论: 人工智能与法律及其在未来法律实践中的作用; 建模制定法推理; 建模基于案例的法律推理; 预测法律结果的模型; 法律论证的计算模型。第二部分法律文本解析, 有五章, 包含用本体和类型系统表示法律概念; 使法律信息检索更加智能化; 基于法律文本的