本書涉及論證輔助軟件，與文字處理軟件協(xié)助書寫處理及格式化文本類似，論證輔助軟件能協(xié)助論辯任務(wù)的完成。如它能對(duì)論證組織、論證可視化和論證評(píng)價(jià)給予幫助。全書關(guān)注于可廢止論證。論證是可廢止的，其可能發(fā)生于因進(jìn)一步的論證而使得結(jié)論被回撤時(shí)。而本書以法律為應(yīng)用領(lǐng)域，其中論證可廢止性普遍存在且往往至關(guān)重要。
作者采用跨學(xué)科方法，書中涉及人工智能、法學(xué)理論和論證理論的研究現(xiàn)狀。對(duì)于那些興趣旨在可廢止論證、法律推理和論證輔助軟件的人而言有一定意義。
全書結(jié)合具體實(shí)例來(lái)反映理論，這為研究人員與法律從業(yè)者提供了關(guān)于當(dāng)前研究現(xiàn)狀的有趣展望。
出版說(shuō)明 5
總序 6
譯者引言 7
PREFACE TO THE CHINESE TRANSLATION 8
中文版序言 11
英文版序言 13
第 1 章
導(dǎo) 言 17
1.1 論證助手 17
1.2 法律領(lǐng)域的可廢止論證 18
1.3 理論構(gòu)建與法律案例適用 19
1.4 從自動(dòng)推理到論證輔助：人工智能視角 20
1.5 試驗(yàn)性論證助手：ARGUE!和ARGUMED系列 21
1.6 相關(guān)研究 22
1.7 事例：嚴(yán)重身體傷害案例 23
第 2 章
首個(gè)原型: ARGUE! 25
2.1 論證理論 25
2.2 嚴(yán)重身體傷害事例 27
2.3 程序設(shè)計(jì) 28
第 3 章
自然化之改進(jìn)：ARGUMED 2.0 31
3.1 論證理論 31
3.1.1 理由、結(jié)論、例外 31
3.1.2 依據(jù) 32
3.1.3 證成 34
3.2 嚴(yán)重身體傷害事例 38
3.3 程序設(shè)計(jì) 40
3.3.1 活動(dòng) 40
3.3.2 視圖 42
3.3.3 算法 43
3.4 用戶評(píng)價(jià) 44
第 4 章
邏輯擴(kuò)充：基于DEFLOG的ARGUMED 3.0 45
4.1 論證理論 45
4.1.1 論辯性論證的結(jié)構(gòu) 45
4.1.2 論辯性論證之評(píng)價(jià) 47
4.1.3 論證可何時(shí)結(jié)束 49
4.1.4 DEFLOG：初步證成假定理論 50
4.2 嚴(yán)重身體傷害事例 52
4.3 程序設(shè)計(jì) 54
4.4 用戶評(píng)價(jià) 57
第 5 章
論證助手與論證調(diào)停者之比較 59
5.1 BELVEDERE 59
5.2 CONVINCE ME 60
5.3 知識(shí)整合環(huán)境中的SENSEMAKER 62
5.4 REASON!ABLE 63
5.5 ROOM 5 66
5.6 ZENO和HERMES 66
5.7 概況與比較 67
第 6 章
可廢止論證理論 70
6.1 圖爾敏的論證圖式 70
6.1.1 關(guān)涉支持與反對(duì)的論爭(zhēng) 71
6.1.2 關(guān)涉依據(jù)的論爭(zhēng) 72
6.1.3 論證評(píng)價(jià) 72
6.1.4 理論構(gòu)建 72
6.2 瑞特的缺省推理邏輯 73
6.2.1 關(guān)涉支持與反對(duì)的論爭(zhēng) 73
6.2.2 關(guān)涉依據(jù)的論爭(zhēng) 73
6.2.3 論證評(píng)價(jià) 74
6.2.4 理論構(gòu)建 74
6.3 普洛克的反駁擊敗理由和底切擊敗理由 74
6.3.1 關(guān)涉支持與反對(duì)的論爭(zhēng) 74
6.3.2 關(guān)涉依據(jù)的論爭(zhēng) 75
6.3.3 論證評(píng)價(jià) 75
6.3.4 理論構(gòu)建 76
6.4 弗雷斯維克的抽象論證系統(tǒng) 77
6.4.1 關(guān)涉支持與反對(duì)的論爭(zhēng) 77
6.4.2 關(guān)涉依據(jù)的論爭(zhēng) 78
6.4.3 論證評(píng)價(jià) 78
6.4.4 理論構(gòu)建 78
6.5 普拉肯與沙托爾的獲勝策略 79
6.5.1 關(guān)涉支持與反對(duì)的論爭(zhēng) 79
6.5.2 關(guān)涉依據(jù)的論爭(zhēng) 79
6.5.3 論證評(píng)價(jià) 79
6.5.4 理論構(gòu)建 80
6.6 董番明的論證可達(dá)集 80
6.6.1 關(guān)涉支持與反對(duì)的論爭(zhēng) 80
6.6.2 關(guān)涉依據(jù)的論證 80
6.6.3 論證評(píng)價(jià) 80
6.6.4 理論構(gòu)建 81
6.7 CUMULA的廣義擊敗關(guān)系 81
6.7.1 關(guān)涉支持與反對(duì)的論爭(zhēng) 81
6.7.2 關(guān)涉依據(jù)的論爭(zhēng) 81
6.7.3 論證評(píng)價(jià) 81
6.7.4 理論構(gòu)建 82
6.8 基于理由的邏輯 82
6.8.1 關(guān)涉支持與反對(duì)的論爭(zhēng) 82
6.8.2 關(guān)涉依據(jù)的論爭(zhēng) 82
6.8.3 論證評(píng)價(jià) 82
6.8.4 理論構(gòu)建 82
6.9 ARGUE!、ARGUMED 2.0和ARGUMED 3.0
83
6.9.1 關(guān)涉支持與反對(duì)的論爭(zhēng) 83
6.9.2 關(guān)涉依據(jù)的論爭(zhēng) 83
6.9.3 論證評(píng)價(jià) 83
6.9.4 理論構(gòu)建 84
第 7 章
論證助手：結(jié)論與前景 85
7.1 ARGUE!、ARGUMED 2.0和ARGUMED 3.0之概況 85
7.2 貢獻(xiàn)與結(jié)論 86
7.3 未來(lái)的研究與前景 87
附錄A ARGUMED 2.0的測(cè)試協(xié)議（翻譯摘錄） 88
附錄B 衍生：論辯性邏輯DEFLOG
91
B.1 論辯地證成論證 91
B.2 擴(kuò)充的存在與多重性 92
B.3 董番明的論證框架及可達(dá)性 94
參考文獻(xiàn) 96
網(wǎng)頁(yè)地址 103
索
引 105
書單推薦
