建模法律论证的逻辑工具 法律可废止推理研究【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

建模法律论证的逻辑工具 法律可废止推理研究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