建模法律论证的逻辑工具 法律可废止推理研究PDF电子书下载

第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