本書是作者1993年有著名博士學(xué)位論文之完全擴(kuò)充修改版。為了人工智能的法律應(yīng)用提供哲學(xué)基礎(chǔ)，它研究了法律推理的邏輯方面。它尊重法律推理常常發(fā)生在爭論背景之下，注意到了法律給出不一致以足夠空間，這意味著律師的推理是有例外可能性之下進(jìn)行的，并且伴有矛盾的法源，在沒有非演繹推理如類比推理情況下是無法進(jìn)行時推理的。本書表明，與通常所說的相反，如果使用在邏輯與人工智能領(lǐng)域中關(guān)于所謂非單調(diào)推理和可廢止論證的最新進(jìn)展，并且如果邏輯被認(rèn)為是一種工具而不是法律論證的模型，那么這些特征逃脫不了邏輯分析。本書與法哲學(xué)、人工智能、邏輯以及論證理論領(lǐng)域的學(xué)者相關(guān)，并且也能作為人工智能與法、非單調(diào)推理和法律論證的研究生課程教科書。
出版說明
總序
譯者引言
中文版序言
英文版序言
第1章 引論
1.1 人工智能、邏輯與法律推理：一般性評論
1.2 研究焦點
1.3 邏輯與人工智能
1.4 出發(fā)點
1.5 本書的結(jié)構(gòu)
第2章 法律推理中邏輯的作用
2.1 關(guān)于邏輯的三個誤解
2.2 “演繹謬誤”
2.3 用邏輯工具進(jìn)行非推論性推理
2.4 規(guī)則推理與案例推理
2.5 小結(jié)
第3章 新邏輯工具的需求
3.1 法律的規(guī)則與例外分離
3.2 法律規(guī)則的可廢止性
3.3 開放結(jié)構(gòu)
3.4 需要何種標(biāo)準(zhǔn)技術(shù)
3.5 非標(biāo)準(zhǔn)特征的人工智能與法程序
第4章 非單調(diào)推理的邏輯
4.1 非單調(diào)邏輯
4.2 一般事項
4.3 對非單調(diào)邏輯的異議
第5章 表達(dá)顯性例外
5.1 引言
5.2 缺省邏輯
5.3 限定邏輯
5.4 普爾的缺省推理框架
5.5 邏輯編程的失敗性否定
5.6 評價
第6章 優(yōu)先選擇最具體的論證
6.1 引言
6.2 普爾：優(yōu)先選擇最特別解釋
6.3 問題
6.4 建構(gòu)和比較論證的系統(tǒng)
6.5 論證評價
6.6 組合優(yōu)先性與例外子句
6.7 評價
第7章 不一致信息推理
7.1 引言
7.2 容不一致性推理的現(xiàn)有形式化
7.3 診斷
7.4 分層擊敗
7.5 該系統(tǒng)的一般特征
7.6 結(jié)語
第8章 優(yōu)先關(guān)系推理
8.1 引言
8.2 法律問題
8.3 擴(kuò)充定義
8.4 形式化方法
8.5 例子
8.6 一個可替方法
第9章 可廢止論辯系統(tǒng)
9.1 論辯系統(tǒng)
9.2 幾個論辯系統(tǒng)
9.3 其他相關(guān)研究
第10章 使用論證系統(tǒng)
10.1 表達(dá)例外方法之比較
lO.2 關(guān)注實現(xiàn)
10.3 應(yīng)用
10.4 幾個實現(xiàn)系統(tǒng)的邏輯分析
10.5 法律論證的四個層面
第11章 結(jié)語
11.1 總結(jié)
11.2 主要結(jié)果
11.3 其他問題的意義
11.4 進(jìn)一步研究之建議
附錄A 記號、排序與術(shù)語
A1 一般符號與記號
A2 排序關(guān)系
A3 第6～8章論證系統(tǒng)的概念
A4 術(shù)語
參考文獻(xiàn)
索引
書單推薦
