掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
法律的悖論(簽章版)
-
>
中華人民共和國憲法
-
>
中華人民共和國勞動(dòng)法
-
>
私人財(cái)富保護(hù)、傳承與工具
-
>
再審洞穴奇案
-
>
法醫(yī)追兇:破譯犯罪現(xiàn)場的156個(gè)冷知識(shí)
-
>
法醫(yī)追兇:偵破罪案的214個(gè)冷知識(shí)
中圖價(jià):¥20.6
加入購物車
虛擬論證-論法律人及其他論證者的論證助手設(shè)計(jì) 版權(quán)信息
- ISBN：9787562064398
- 條形碼：9787562064398 ; 978-7-5620-6439-8
- 裝幀：80g膠版紙
- 冊(cè)數(shù)：暫無
- 重量：暫無
- 所屬分類：
虛擬論證-論法律人及其他論證者的論證助手設(shè)計(jì) 本書特色
本書涉及論證輔助軟件，與文字處理軟件協(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í)例來反映理論，這為研究人員與法律從業(yè)者提供了關(guān)于當(dāng)前研究現(xiàn)狀的有趣展望。
虛擬論證-論法律人及其他論證者的論證助手設(shè)計(jì) 內(nèi)容簡介
本書是由熊明輝教授主編的“當(dāng)代西方法律邏輯經(jīng)典譯叢”之一。計(jì)算機(jī)能用來支持涉及論證的各種任務(wù)，而那些用來輔助論證任務(wù)的計(jì)算機(jī)程序被稱為論證助手，通常被用于組織、可視化和評(píng)價(jià)論證。本書從可廢止論證理論出發(fā)，著眼于解決法律中的某些問題，結(jié)合人工智能的處理方式建構(gòu)了各種模型，而這一有效的問題研究方式已成為人工智能與法研究的重要方向。人工智能與法的研究已是當(dāng)今國際上法哲學(xué)與社會(huì)哲學(xué)領(lǐng)域的前沿問題。而該方向的研究在我國尚且處于空白階段，本書的引入將填補(bǔ)我國這個(gè)領(lǐng)域的空缺，同時(shí)也會(huì)促使我國法律邏輯的研究同國際前沿接軌。 人工智能與法的研究已成為國際人工智能研究領(lǐng)域的一個(gè)非常有影響的領(lǐng)域，現(xiàn)已設(shè)有專門的國際人工智能與法協(xié)會(huì)（iaail），每兩年舉辦一次世界人工智能與法國際學(xué)術(shù)會(huì)議，更有諸如“人工智能與法” （artificial intelligence and law)等國際性雜志。然而，國內(nèi)對(duì)這個(gè)領(lǐng)域的研究尤其是關(guān)于模型的建構(gòu)幾乎是一片空白，主要原因是作為法律、邏輯與計(jì)算機(jī)科學(xué)的交叉領(lǐng)域，研究彼此脫節(jié)片面而缺乏交互。本主題的引入將極大的推動(dòng)相關(guān)領(lǐng)域的交叉研究使之更趨于國際前沿化。
虛擬論證-論法律人及其他論證者的論證助手設(shè)計(jì) 目錄
出版說明 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ì)的論爭 71 6.1.2 關(guān)涉依據(jù)的論爭 72 6.1.3 論證評(píng)價(jià) 72 6.1.4 理論構(gòu)建 72 6.2 瑞特的缺省推理邏輯 73 6.2.1 關(guān)涉支持與反對(duì)的論爭 73 6.2.2 關(guān)涉依據(jù)的論爭 73 6.2.3 論證評(píng)價(jià) 74 6.2.4 理論構(gòu)建 74 6.3 普洛克的反駁擊敗理由和底切擊敗理由 74 6.3.1 關(guān)涉支持與反對(duì)的論爭 74 6.3.2 關(guān)涉依據(jù)的論爭 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ì)的論爭 77 6.4.2 關(guān)涉依據(jù)的論爭 78 6.4.3 論證評(píng)價(jià) 78 6.4.4 理論構(gòu)建 78 6.5 普拉肯與沙托爾的獲勝策略 79 6.5.1 關(guān)涉支持與反對(duì)的論爭 79 6.5.2 關(guān)涉依據(jù)的論爭 79 6.5.3 論證評(píng)價(jià) 79 6.5.4 理論構(gòu)建 80 6.6 董番明的論證可達(dá)集 80 6.6.1 關(guān)涉支持與反對(duì)的論爭 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ì)的論爭 81 6.7.2 關(guān)涉依據(jù)的論爭 81 6.7.3 論證評(píng)價(jià) 81 6.7.4 理論構(gòu)建 82 6.8 基于理由的邏輯 82 6.8.1 關(guān)涉支持與反對(duì)的論爭 82 6.8.2 關(guān)涉依據(jù)的論爭 82 6.8.3 論證評(píng)價(jià) 82 6.8.4 理論構(gòu)建 82 6.9 argue!、argumed 2.0和argumed 3.083 6.9.1 關(guān)涉支持與反對(duì)的論爭 83 6.9.2 關(guān)涉依據(jù)的論爭 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 未來的研究與前景 87 附錄a argumed 2.0的測試協(xié)議（翻譯摘錄） 88 附錄b 衍生：論辯性邏輯deflog91 b.1 論辯地證成論證 91 b.2 擴(kuò)充的存在與多重性 92 b.3 董番明的論證框架及可達(dá)性 94 參考文獻(xiàn) 96 網(wǎng)頁地址 103 索 引 105
展開全部
虛擬論證-論法律人及其他論證者的論證助手設(shè)計(jì) 作者簡介
【作者簡介】 巴特·維赫雅，男，荷蘭格羅寧根大學(xué)（University of Groningen）人工智能與認(rèn)知工程研究所、數(shù)學(xué)與自然科學(xué)院終身講師及研究員。其分別在阿姆斯特丹大學(xué)（University of Amsterdam）和馬斯特里赫特大學(xué)（Maastricht University）獲得碩士學(xué)位與博士學(xué)位。主要從事人工智能、論證與法的研究。著有《規(guī)則、理由、論證：論證與擊敗的形式研究》（Rules, Reasons, Arguments: Formal Studies of Argumentation and Defeat）等。2012年任第四屆論證計(jì)算模型國際會(huì)議（COMMA）程序委員會(huì)主席，2013年任第十四屆國際人工智能與法會(huì)議（ICAIL）程序委員會(huì)主席。現(xiàn)為國際人工智能與法協(xié)會(huì)（IAAIL）執(zhí)行委員會(huì)成員、論證計(jì)算模型系列國際會(huì)議成員。 【譯者簡介】 周兀，女，中山大學(xué)邏輯與認(rèn)知研究所博士生，師從熊明輝教授。主要研究方向?yàn)榉蛇壿嫛⑷斯ぶ悄芘c法。已在學(xué)術(shù)刊物《哲學(xué)動(dòng)態(tài)》上發(fā)表論文“如何進(jìn)行法律論證邏輯建模”。
書友推薦
- >
我與地壇
- >
上帝之肋:男人的真實(shí)旅程
- >
名家?guī)阕x魯迅:朝花夕拾
- >
新文學(xué)天穹兩巨星--魯迅與胡適/紅燭學(xué)術(shù)叢書(紅燭學(xué)術(shù)叢書)
- >
自卑與超越
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
中國人在烏蘇里邊疆區(qū):歷史與人類學(xué)概述
- >
莉莉和章魚
本類暢銷
