齣版說明
總序
譯者引言
中文版序言
英文版序言
第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術語
參考文獻
索引
· · · · · · (收起)