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

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

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

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第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