第1章 引论 1
1.1 人工智能、逻辑与法律推理:一般性评论 1
1.2 研究焦点 8
1.3 逻辑与人工智能 10
1.4 出发点 14
1.5 本书的结构 15
第2章 法律推理中逻辑的作用 17
2.1 关于逻辑的三个误解 18
2.2 “演绎谬误” 21
2.3 用逻辑工具进行非推论性推理 30
2.4 规则推理与案例推理 34
2.5 小结 35
第3章 新逻辑工具的需求 37
3.1 法律的规则与例外分离 38
3.2 法律规则的可废止性 53
3.3 开放结构 56
3.4 需要何种标准技术 63
3.5 非标准特征的人工智能与法程序 69
第4章 非单调推理的逻辑 75
4.1 非单调逻辑 76
4.2 一般事项 106
4.3 对非单调逻辑的异议 111
第5章 表达显性例外 115
5.1 引言 116
5.2 缺省逻辑 120
5.3 限定逻辑 129
5.4 普尔的缺省推理框架 135
5.5 逻辑编程的失败性否定 139
5.6 评价 151
第6章 优先选择最具体的论证 163
6.1 引言 163
6.2 普尔:优先选择最特别解释 166
6.3 问题 172
6.4 建构和比较论证的系统 176
6.5 论证评价 190
6.6 组合优先性与例外子句 200
6.7 评价 206
第7章 不一致信息推理 209
7.1 引言 209
7.2 容不一致性推理的现有形式化 211
7.3 诊断 220
7.4 分层击败 224
7.5 该系统的一般特征 226
7.6 结语 235
第8章 优先关系推理 236
8.1 引言 236
8.2 法律问题 237
8.3 扩充定义 240
8.4 形式化方法 244
8.5 例子 247
8.6 一个可替方法 253
第9章 可废止论辩系统 255
9.1 论辩系统 255
9.2 几个论辩系统 257
9.3 其他相关研究 278
第10章 使用论证系统 289
10.1 表达例外方法之比较 289
10.2 关注实现 294
10.3 应用 296
10.4 几个实现系统的逻辑分析 300
10.5 法律论证的四个层面 313
第11章 结语 318
11.1 总结 318
11.2 主要结果 320
11.3 其他问题的意义 324
11.4 进一步研究之建议 327
附录A 记号、排序与术语 330
A1 一般符号与记号 330
A2 排序关系 332
A3 第6~8章 论证系统的概念 332
A4 术语 333
参考文献 336
索引 353