出版說(shuō)明
總序
譯者引言
中文版序言
英文版序言
第1章  引論
  1.1  人工智能、邏輯與法律推理：一般性評(píng)論
  1.2  研究焦點(diǎn)
  1.3  邏輯與人工智能
  1.4  出發(fā)點(diǎn)
  1.5  本書(shū)的結(jié)構(gòu)
第2章  法律推理中邏輯的作用
  2.1  關(guān)于邏輯的三個(gè)誤解
  2.2  “演繹謬誤”
  2.3  用邏輯工具進(jìn)行非推論性推理
  2.4  規(guī)則推理與案例推理
  2.5  小結(jié)
第3章  新邏輯工具的需求
  3.1  法律的規(guī)則與例外分離
  3.2  法律規(guī)則的可廢止性
  3.3  開(kāi)放結(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  一般事項(xiàng)
  4.3  對(duì)非單調(diào)邏輯的異議
第5章  表達(dá)顯性例外
  5.1  引言
  5.2  缺省邏輯
  5.3  限定邏輯
  5.4  普爾的缺省推理框架
  5.5  邏輯編程的失敗性否定
  5.6  評(píng)價(jià)
第6章  優(yōu)先選擇最具體的論證
  6.1  引言
  6.2  普爾：優(yōu)先選擇最特別解釋
  6.3  問(wèn)題
  6.4  建構(gòu)和比較論證的系統(tǒng)
  6.5  論證評(píng)價(jià)
  6.6  組合優(yōu)先性與例外子句
  6.7  評(píng)價(jià)
第7章  不一致信息推理
  7.1  引言
  7.2  容不一致性推理的現(xiàn)有形式化
  7.3  診斷
  7.4  分層擊敗
  7.5  該系統(tǒng)的一般特征
  7.6  結(jié)語(yǔ)
第8章  優(yōu)先關(guān)系推理
  8.1  引言
  8.2  法律問(wèn)題
  8.3  擴(kuò)充定義
  8.4  形式化方法
  8.5  例子
  8.6  一個(gè)可替方法
第9章  可廢止論辯系統(tǒng)
  9.1  論辯系統(tǒng)
  9.2  幾個(gè)論辯系統(tǒng)
  9.3  其他相關(guān)研究
第10章  使用論證系統(tǒng)
  10.1  表達(dá)例外方法之比較
  lO.2  關(guān)注實(shí)現(xiàn)
  10.3  應(yīng)用
  10.4  幾個(gè)實(shí)現(xiàn)系統(tǒng)的邏輯分析
  10.5  法律論證的四個(gè)層面
第11章  結(jié)語(yǔ)
  11.1  總結(jié)
  11.2  主要結(jié)果
  11.3  其他問(wèn)題的意義
  11.4  進(jìn)一步研究之建議
附錄A  記號(hào)、排序與術(shù)語(yǔ)
  A1  一般符號(hào)與記號(hào)
  A2  排序關(guān)系
  A3  第6～8章論證系統(tǒng)的概念
  A4  術(shù)語(yǔ)
參考文獻(xiàn)
索引