当前位置:首页 > 政治法律
诉答博弈  程序性公正的人工智能模型
诉答博弈  程序性公正的人工智能模型

诉答博弈 程序性公正的人工智能模型PDF电子书下载

政治法律

  • 电子书积分:13 积分如何计算积分?
  • 作 者:(德)托马斯·F.戈登著;周志荣译
  • 出 版 社:北京:中国政法大学出版社
  • 出版年份:2018
  • ISBN:9787562080497
  • 页数:373 页
图书介绍:本书中,作者旨在发展法律论辩的一种形式化模型,他称之为“诉讼游戏”。这种模型以对话逻辑为基础,适用于评估法律论辩语境下的可废止的论证规则的有效性和优先性问题。在该书中,高登教授不仅评估了特殊法律论域情境下的法律论辩与推理理论,还在此基础上试图建立司法裁判程序的模型,尤其是对法官在审理案件中的自由裁量权的使用进行形式刻画。该书针对民事诉讼建立了诉讼游戏的一个特殊模型,在该模型中,不仅争议各方的论证结构得到形式化,而且法官裁决案件的论证得到分析和研究。
《诉答博弈 程序性公正的人工智能模型》目录

第1章 导论 1

第2章 法律论域:第九条 17

2.1 对第九条的介绍 21

2.2 第九条中的优先性规则 23

2.3 规则间的高阶冲突 25

第3章 关于法律推理的哲学 31

3.1 哈特的分析法学 32

3.2 罗迪格的法律逻辑 48

3.2.1 公理化 52

3.2.2 形式化 67

3.2.3 对罗迪格理论的评价 79

3.3 阿列克西的法律论辩理论 80

3.3.1 规范性的实践话语理论 89

3.3.2 哈贝马斯的话语逻辑 97

3.3.3 埃尔朗根学派 104

3.3.4 佩雷尔曼的新修辞学 108

3.3.5 对阿列克西理论的评价 110

3.4 话语博弈的维度 114

第4章 论辩的形式化模型 117

4.1 洛伦岑的对话逻辑 118

4.2 普洛克的奥斯卡尔系统的可废止推理模型 128

4.3 西马里与路易的系统 136

4.4 条件推衍 146

4.5 相关的工作 167

第5章 诉答博弈 171

5.1 民事诉答 173

5.2 表达显性例外的语言 180

5.3 诉答博弈 197

5.4 细节性的案例 217

5.5 审判博弈 234

5.6 论辩图 238

5.7 争议点概念 248

第6章 标准ML语言中的实现系统 256

6.1 标准ML语言的模块系统 257

6.2 模块概览 261

6.3 Cil——子句型直觉主义逻辑的定理证明器 264

6.4 Rules——规则语言翻译器 271

6.5 Mrms——最小理由维护系统 275

6.6 Record——诉答博弈的博弈盘 281

6.7 Ce——条件推衍的定理证明器 285

6.8 Clerk——诉答博弈的调解人 298

第7章 结论 305

附录A 第九条世界 312

A.1 A9W第1条:总则 314

A.2 A9W第2条:销售 315

A.3 A9W第9条:担保交易 315

A.4 法律原则 330

A.5 常识知识 331

A.6 谓词符号的字典 334

附录B 法律术语词汇表 342

参考文献 348

索引 359

返回顶部