掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書(shū)更多>
-
>
法律的悖論(簽章版)
-
>
中華人民共和國(guó)憲法
-
>
中華人民共和國(guó)勞動(dòng)法
-
>
私人財(cái)富保護(hù)、傳承與工具
-
>
再審洞穴奇案
-
>
法醫(yī)追兇:破譯犯罪現(xiàn)場(chǎng)的156個(gè)冷知識(shí)
-
>
法醫(yī)追兇:偵破罪案的214個(gè)冷知識(shí)
中圖價(jià):¥35.3
加入購(gòu)物車(chē)
訴答博弈:程序性公正的人工智能模型 版權(quán)信息
- ISBN：9787562080497
- 條形碼：9787562080497 ; 978-7-5620-8049-7
- 裝幀：一般膠版紙
- 冊(cè)數(shù)：暫無(wú)
- 重量：暫無(wú)
- 所屬分類：>
訴答博弈:程序性公正的人工智能模型 本書(shū)特色
本書(shū)立足于法學(xué)和道德哲學(xué)，為論辯研發(fā)了一種形式模型，被稱為“訴答博弈”。訴答博弈是基于論辯研究非單調(diào)邏輯的方法的一種擴(kuò)展。本書(shū)所采用的方法是先考察一些重要的法學(xué)論辯和推理理論。這能夠更好地評(píng)估規(guī)則之間的優(yōu)先性關(guān)系的類型和種類。這還有助于確認(rèn)政府的立法與司法機(jī)構(gòu)之間的真正的權(quán)力劃分，引發(fā)了關(guān)于推理和論辯的恰當(dāng)模型的研究。本書(shū)研究的訴答博弈是以當(dāng)代德國(guó)法哲學(xué)家阿列克西發(fā)展起來(lái)的法律論辯的話語(yǔ)理論為基礎(chǔ)的。有訴答博弈來(lái)建立模型的法律活動(dòng)是民事訴訟，其中當(dāng)事雙方通過(guò)交互提出論證和相反論證來(lái)確認(rèn)爭(zhēng)議點(diǎn)，以便讓法庭進(jìn)行裁決。本書(shū)還包含了對(duì)于訴答博弈調(diào)解系統(tǒng)的高層級(jí)描述，足以使之在選定的編程語(yǔ)言中重新得到實(shí)現(xiàn)。
訴答博弈:程序性公正的人工智能模型 內(nèi)容簡(jiǎn)介
本書(shū)是由熊明輝教授主編的“當(dāng)代西方法律邏輯經(jīng)典譯叢”之一。本書(shū)靠前作者圖爾敏是靠前知名論證邏輯學(xué)家，“非形式邏輯”奠基人之一。他在《推理導(dǎo)論》一書(shū)中，詳盡地闡明了論證的基本分析模式，促進(jìn)了邏輯學(xué)的實(shí)踐轉(zhuǎn)向，奠定了實(shí)用邏輯的基礎(chǔ)，特別是本書(shū)將基本分析模式應(yīng)用于法律推理及其他推理，使法律工作者在夯實(shí)論證邏輯的基礎(chǔ)上掌握法律推理，拓寬知識(shí)的領(lǐng)域，并與其他領(lǐng)域的推理進(jìn)行比較研究。
訴答博弈:程序性公正的人工智能模型 目錄
目錄：
出版說(shuō)明
總 序
譯者序
中文版序
前 言
致 謝
第1章 導(dǎo)論
第2章 法律論域：第九條
2.1 對(duì)第九條的介紹
2.2 第九條中的優(yōu)先性規(guī)則
2.3 規(guī)則間的高階沖突
第3章 關(guān)于法律推理的哲學(xué)
3.1 哈特的分析法學(xué)
3.2 羅迪格的法律邏輯
3.2.1 公理化
3.2.2 形式化
3.2.3 對(duì)羅迪格理論的評(píng)價(jià)
3.3 阿列克西的法律論辯理論
3.3.1 規(guī)范性的實(shí)踐話語(yǔ)理論
3.3.2 哈貝馬斯的話語(yǔ)邏輯
3.3.3 埃爾朗根學(xué)派
3.3.4 佩雷爾曼的新修辭學(xué)
3.3.5 對(duì)阿列克西理論的評(píng)價(jià)
3.4 話語(yǔ)博弈的維度
第4章 論辯的形式化模型
4.1 洛倫岑的對(duì)話邏輯
4.2 普洛克的奧斯卡爾系統(tǒng)的可廢止推理模型
4.3 西馬里與路易的系統(tǒng)
4.4 條件推衍
4.5 相關(guān)的工作
第5章 訴答博弈
5.1 民事訴答
5.2 表達(dá)顯性例外的語(yǔ)言
5.3 訴答博弈
5.4 細(xì)節(jié)性的案例
5.5 審判博弈
5.6 論辯圖
5.7 爭(zhēng)議點(diǎn)概念
第6章 標(biāo)準(zhǔn)ML語(yǔ)言中的實(shí)現(xiàn)系統(tǒng)
6.1 標(biāo)準(zhǔn)ML語(yǔ)言的模塊系統(tǒng)
6.2 模塊概覽
6.3 Cil——子句型直覺(jué)主義邏輯的定理證明器
6.4 Rules——規(guī)則語(yǔ)言翻譯器
6.5 Mrms——*小理由維護(hù)系統(tǒng)
6.6 Record——訴答博弈的博弈盤(pán)
6.7 Ce——條件推衍的定理證明器
6.8 Clerk——訴答博弈的調(diào)解人
第7章 結(jié)論
附錄A 第九條世界
A.1 A9W第1條：總則
A.2 A9W第2條：銷(xiāo)售
A.3 A9W第9條：擔(dān)保交易
A.4 法律原則
A.5 常識(shí)知識(shí)
A.6 謂詞符號(hào)的字典
附錄B 法律術(shù)語(yǔ)詞匯表
參考文獻(xiàn)
索 引
展開(kāi)全部
訴答博弈:程序性公正的人工智能模型 作者簡(jiǎn)介
作者簡(jiǎn)介： 托馬斯·F.戈登 1993年畢業(yè)于達(dá)姆施塔特科技大學(xué)計(jì)算機(jī)科學(xué)院獲得理學(xué)博士學(xué)位。2000年至今任德國(guó)弗勞恩霍夫開(kāi)放通信系統(tǒng)研究所（FOKUS）高級(jí)研究員，同時(shí)兼任波茲坦大學(xué)計(jì)算機(jī)科學(xué)研究所榮譽(yù)教授。曾任德國(guó)國(guó)家計(jì)算機(jī)研究中心高級(jí)科學(xué)家、《人工智能與法》雜志的“法律論辯”欄目編輯、《論證與計(jì)算》雜志編委、2004~2006年度國(guó)際“人工智能與法”學(xué)會(huì)主席等職務(wù)。主要從事法律信息科學(xué)及相關(guān)領(lǐng)域的應(yīng)用性與跨學(xué)科研究，包括“人工智能與法”和“論證的計(jì)算機(jī)模型”等領(lǐng)域問(wèn)題。 譯者簡(jiǎn)介： 周志榮 江蘇南京人，2010年畢業(yè)于清華大學(xué)哲學(xué)系，獲邏輯學(xué)專業(yè)博士學(xué)位。現(xiàn)為中南財(cái)經(jīng)政法大學(xué)哲學(xué)院副教授，碩士生導(dǎo)師。主要研究方向?yàn)檫壿嬚軐W(xué)、法律邏輯、分析哲學(xué)。目前已在《哲學(xué)研究》《世界哲學(xué)》《自然辨證法研究》和《邏輯學(xué)研究》等核心期刊上發(fā)表論文十?dāng)?shù)篇，并出版專著一部（《真與意義的元語(yǔ)義學(xué)研究》，2006年）。分別主持國(guó)家社科基金青年項(xiàng)目和教育部人文社會(huì)科學(xué)研究青年基金項(xiàng)目各一項(xiàng)。
書(shū)友推薦
- >
朝聞道
- >
名家?guī)阕x魯迅:故事新編
- >
回憶愛(ài)瑪儂
- >
我從未如此眷戀人間
- >
苦雨齋序跋文-周作人自編集
- >
莉莉和章魚(yú)
- >
隨園食單
- >
伯納黛特,你要去哪(2021新版)
本類暢銷(xiāo)
