《建模法律论证的逻辑工具：法律可废止推理研究》主要研究法律推理的逻辑视角，其目的是为了人工智能在法律领域中的应用提供哲学基础。本书充分尊重通常发生在纠纷背景下的法律推理，并注意到了法律给争议留下的很大空间。作者亨利·帕肯表明，考虑到逻辑与人工智能领域的最新发展如非单调推理和可废止论证，这些特征并没有超出逻辑分析范围。

《建模法律论证的逻辑工具：法律可废止推理研究》是作者亨利·帕肯1993年著名博士学位论文之完全扩充修改版。为了为人工智能的法律应用提供哲学基础，它研究了法律推理的逻辑方面。它尊重法律推理常常发生在争论背景之下，注意到了法律给出不一致以足够空间，这意味着律师的推理是在有例外可能性之下进行的，并且伴有矛盾的法源，在没有非演绎推理如类比推理前的情况下是无法进行时推理的。本书表明，与通常所说的相反，如果使用在逻辑与人工智能领域中关于所谓非单调推理和可废止论证的最新进展，并且如果逻辑被认为是一种工具而不是法律论证的模型。那么这些特征逃脱不了逻辑分析。本书与法哲学、人工智能、逻辑以及论证理论领域的学者相关，并且也能作为人工智能与法、非单调推理和法律论证的研究生课程教科书。

出版说明

总序

译者引言

中文版序言

英文版序言

第1章 引论

 1.1 人工智能、逻辑与法律推理：一般性评论

 1.2 研究焦点

 1.3 逻辑与人工智能

 1.4 出发点

 1.5 本书的结构

第2章 法律推理中逻辑的作用

 2.1 关于逻辑的三个误解

 2.2 “演绎谬误”

 2.3 用逻辑工具进行非推论性推理

 2.4 规则推理与案例推理

 2.5 小结

第3章 新逻辑工具的需求

 3.1 法律的规则与例外分离

 3.2 法律规则的可废止性

 3.3 开放结构

 3.4 需要何种标准技术

 3.5 非标准特征的人工智能与法程序

第4章 非单调推理的逻辑

 4.1 非单调逻辑

 4.2 一般事项

 4.3 对非单调逻辑的异议

第5章 表达显性例外

 5.1 引言

 5.2 缺省逻辑

 5.3 限定逻辑

 5.4 普尔的缺省推理框架

 5.5 逻辑编程的失败性否定

 5.6 评价

第6章 优先选择最具体的论证

 6.1 引言

 6.2 普尔：优先选择最特别解释

 6.3 问题

 6.4 建构和比较论证的系统

 6.5 论证评价

 6.6 组合优先性与例外子句

 6.7 评价

第7章 不一致信息推理

 7.1 引言

 7.2 容不一致性推理的现有形式化

 7.3 诊断

 7.4 分层击败

 7.5 该系统的一般特征

 7.6 结语

第8章 优先关系推理

 8.1 引言

 8.2 法律问题

 8.3 扩充定义

 8.4 形式化方法

 8.5 例子

 8.6 一个可替方法

第9章 可废止论辩系统

 9.1 论辩系统

 9.2 几个论辩系统

 9.3 其他相关研究

第10章 使用论证系统

 10.1 表达例外方法之比较

 lO.2 关注实现

 10.3 应用

 10.4 几个实现系统的逻辑分析

 10.5 法律论证的四个层面

第11章 结语

 11.1 总结

 11.2 主要结果

 11.3 其他问题的意义

 11.4 进一步研究之建议

附录A 记号、排序与术语

 A1 一般符号与记号

 A2 排序关系

 A3 第6～8章论证系统的概念

 A4 术语

参考文献

索引