您好,欢迎来到聚文网。 登录 免费注册
虚拟论证

虚拟论证

  • 字数: 140千字
  • 装帧: 平装
  • 出版社: 中国政法大学出版社
  • 作者: (荷兰)巴特·维赫雅(Bart Verheij) 著;周兀 译
  • 出版日期: 2016-01-01
  • 商品条码: 9787562064398
  • 版次: 1
  • 开本: 32开
  • 页数: 154
  • 出版年份: 2016
定价:¥28 销售价:登录后查看价格  ¥{{selectedSku?.salePrice}} 
库存: {{selectedSku?.stock}} 库存充足
{{item.title}}:
{{its.name}}
精选
内容简介
本书涉及人工智能、逻辑、论证和法律等多领域,作者关注于在法律中出现的可废止论证,对论证软件的设计研究进行了概述,并提出和构建论证助手模型及在此基础上逐步进行的各种改进和反思。
作者简介
巴特·维赫雅 男,荷兰格罗宁根大学(University of Groningen)人工智能与认知工程研究所、数学与自然科学院终身讲师及研究员。其分别在阿姆斯特丹大学(University of Amsterdam)和马斯特里赫特大学(Maastricht University)获得硕士学位与博士学位。主要从事人工智能、论证与法的研究。著有《规则、理由、论证:论证与击败的形式研究》(Rules,Reasons,Arguments:Formal Studiesof Argumentation and Defeat)等。2012年任第四届论证计算模型靠前会议(COMMA)程序委员会,2013年任第十四届靠前人工智能与法会议(ICAIL)程序委员会。现为靠前人工智能与法协会(IAAIL)执行委员会成员、论证计算模型系列靠前会议成员。
周兀 女,中山大学逻辑与认知研究所博士生,师从熊明辉教授。主要研究方向为法律逻辑、人工智能与法。已在学术刊物《哲学动态》上发表论文“如何进行法律论证逻辑建模”。rguments:Formal Studiesof Argumentation and Defeat)等。2012年任第四届论证计算模型靠前会议(COMMA)程序委员会,2013年任第十四届靠前人工智能与法会议(ICAIL)程序委员会。现为靠前人工智能与法协会(IAAIL)执行委员会成员、论证计算模型系列靠前会议成员。
目录
出版说明
总序
泽者引言
中文版序言
英文版序言
第1章导言
1.1论证助手
1.2法律领域的可废止论证
1.3理论构建与法律案例适用
1.4从自动推理到论证辅助:人工智能视角
1.5试验性论证助手:Argue!和ArguMed系列
1.6相关研究
1.7事例:严重身体伤害案例
第2章少有原型:Argue!
2.1论证理论
2.2严重身体伤害事例
2.3程序设计
第3章自然化之改进:ArguMed2.0
3.1论证理论
3.2严重身体伤害事例
3.3程序设计
3.4用户评价
第4章逻辑扩充:基于DefLog的ArguMed3.0
4.1论证理论
4.2严重身体伤害事例
4.3程序设计
4.4用户评价
第5章论证助手与论证调停者之比较
5.1Belvedere
5.2CorwiriceMe
5.3知识整合环境中的SenseMaker
5.4Reason!Able
5.5Room5
5.6Zeno和Hermes
5.7概况与比较
第6章可废止论证理论
6.1图尔敏的论证图式
6.2瑞特的缺省推理逻辑
6.3普洛克的反驳击败理由和底切击败理由
6.4弗雷斯维克的抽象论证系统
6.5普拉肯与沙托尔的获胜策略
6.6董番明的论证可达集
6.7CumulA的广义击败关系
6.8基于理由的逻辑
6.9Argue!、ArguMed2.0和ArguMed3.0
第7章论证助手:结论与前景
7.1Argue!、ArguMed2.0和ArguMed3.O之概况
7.2贡献与结论
7.3未来的研究与前景
附录AArguMed2.0的测试协议(翻泽摘录)
附录B衍生:论辩性逻辑DefLog
参考文献
网页地址
索引

蜀ICP备2024047804号

Copyright 版权所有 © jvwen.com 聚文网