出版说明
总序
译者引言
中文版序言
英文版序言
第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表达例外方法之比较
10.2关注实现
10.3应用
10.4几个实现系统的逻辑分析
10.5法律论证的四个层面
第11章结语
11.1总结
11.2主要结果
11.3其他问题的意义
11.4进一步研究之建议
附录A记号、排序与术语
A1一般符号与记号
A2排序关系
A3第6—8章论证系统的概念
A4术语
参考文献
索引