建模法律论证的逻辑工具——法律可废止推理

出版说明
总序
译者引言
中文版序言
英文版序言
第1章  引论
  1.1  人工智能、逻辑与法律推理：一般性评论
  1.2  研究焦点
  1.3  逻辑与人工智能
  1.4  出发点
  1.5  本书的结构
第2章  法律推理中逻辑的作用
  2.1  关于逻辑的三个误解
  2.2  “演绎谬误”
  2.3  用逻辑工具进行非推论性推理
  2.4  规则推理与案例推理
  2.5  小结
第3章  新逻辑工具的需求
  3.1  法律的规则与例外分离
  3.2  法律规则的可废止性
  3.3  开放结构
  3.4  需要何种标准技术
  3.5  非标准特征的人工智能与法程序
第4章  非单调推理的逻辑
  4.1  非单调逻辑
  4.2  一般事项
  4.3  对非单调逻辑的异议
第5章  表达显性例外
  5.1  引言
  5.2  缺省逻辑
  5.3  限定逻辑
  5.4  普尔的缺省推理框架
  5.5  逻辑编程的失败性否定
  5.6  评价
第6章  优先选择最具体的论证
  6.1  引言
  6.2  普尔：优先选择最特别解释
  6.3  问题
  6.4  建构和比较论证的系统
  6.5  论证评价
  6.6  组合优先性与例外子句
  6.7  评价
第7章  不一致信息推理
  7.1  引言
  7.2  容不一致性推理的现有形式化
  7.3  诊断
  7.4  分层击败
  7.5  该系统的一般特征
  7.6  结语
第8章  优先关系推理
  8.1  引言
  8.2  法律问题
  8.3  扩充定义
  8.4  形式化方法
  8.5  例子
  8.6  一个可替方法
第9章  可废止论辩系统
  9.1  论辩系统
  9.2  几个论辩系统
  9.3  其他相关研究
第10章  使用论证系统
  10.1  表达例外方法之比较
  lO.2  关注实现
  10.3  应用
  10.4  几个实现系统的逻辑分析
  10.5  法律论证的四个层面
第11章  结语
  11.1  总结
  11.2  主要结果
  11.3  其他问题的意义
  11.4  进一步研究之建议
附录A  记号、排序与术语
  A1  一般符号与记号
  A2  排序关系
  A3  第6～8章论证系统的概念
  A4  术语
参考文献
索引