訴答博弈——程式性公正的人工智慧模型

內容簡介

本書立足於法學和道德哲學，為論辯研發了一種形式模型，被稱為“訴答博弈”。訴答博弈是基於論辯研究非單調邏輯的方法的一種擴展。本書所採用的方法是先考察一些重要的法學論辯和推理理論。這能夠更好地評估規則之間的優先性關係的類型和種類。這還有助於確認政府的立法與司法機構之間的真正的權力劃分，引發了關於推理和論辯的恰當模型的研究。本書研究的訴答博弈是以當代德國法哲學家阿列克西發展起來的法律論辯的話語理論為基礎的。有訴答博弈來建立模型的法律活動是民事訴訟，其中當事雙方通過互動提出論證和相反論證來確認爭議點，以便讓法庭進行裁決。本書還包含了對於訴答博弈調解系統的高層級描述，足以使之在選定的程式語言中重新得到實現。

圖書目錄

出版說明

總序

譯者序

中文版序

前言

致謝

第1章導論

第2章法律論域：第九條

2.1 對第九條的介紹

2.2 第九條中的優先性規則

2.3 規則間的高階衝突

第3章關於法律推理的哲學

3.1 哈特的分析法學

3.2 羅迪格的法律邏輯

3.2.1 公理化

3.2.2 形式化

3.2.3 對羅迪格理論的評價

3.3 阿列克西的法律論辯理論

3.3.1 規範性的實踐話語理論

3.3.2 哈貝馬斯的話語邏輯

3.3.3 埃爾朗根學派

3.3.4 佩雷爾曼的新修辭學

3.3.5 對阿列克西理論的評價

3.4 話語博弈的維度

第4章論辯的形式化模型

4.1 洛倫岑的對話邏輯

4.2 普洛克的奧斯卡爾系統的可廢止推理模型

4.3 西馬里與路易的系統

4.4 條件推衍

4.5 相關的工作

第5章訴答博弈

5.1 民事訴答

5.2 表達顯性例外的語言

5.3 訴答博弈

5.4 細節性的案例

5.5 審判博弈

5.6 論辯圖

5.7 爭議點概念

第6章標準ML語言巾的實現系統

6.1 標準ML語言的模組系統

6.2 模組概覽

6.3 Cil——子句型直覺主義邏輯的定理證明器

6.4 Rules——規則語言翻譯器

6.5 Mrms——最小理由維護系統

6.6 Record——訴答博弈的博弈盤

6.7 Ce——條件推衍的定理證明器

6.8 Clerk——訴答博弈的調解人

第7章結論

訴答博弈——程式性公正的人工智慧模型

基本介紹

內容簡介

圖書目錄

相關詞條

熱門詞條