返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:

  • 虚拟论证 (荷兰)巴特·维赫雅(Bart Verheij) 著;周兀 译 社科 文轩网
  • 新华书店正版
    • 作者: (荷兰)巴特·维赫雅(Bart Verheij) 著;周兀 译著
    • 出版社: 中国政法大学出版社
    • 出版时间:2016-01-01 00:00:00
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    文轩网图书旗舰店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

         https://product.suning.com/0070067633/11555288247.html

     

    商品参数
    • 作者: (荷兰)巴特·维赫雅(Bart Verheij) 著;周兀 译著
    • 出版社:中国政法大学出版社
    • 出版时间:2016-01-01 00:00:00
    • 版次:1
    • 印次:1
    • 印刷时间:2016-01-01
    • 字数:140千字
    • 页数:154
    • 开本:32开
    • 装帧:平装
    • 国别/地区:中国
    • 版权提供:中国政法大学出版社

    虚拟论证

    作  者:(荷兰)巴特·维赫雅(Bart Verheij) 著;周兀 译
    定  价:28
    出 版 社:中国政法大学出版社
    出版日期:2016年01月01日
    页  数:154
    装  帧:平装
    ISBN:9787562064398
    主编推荐

    内容简介

    本书涉及人工智能、逻辑、论证和法律等多领域,作者关注于在法律中出现的可废止论证,对论证软件的设计研究进行了概述,并提出和构建论证助手模型及在此基础上逐步进行的各种改进和反思。

    作者简介

    巴特·维赫雅 男,荷兰格罗宁根大学(University of Groningen)人工智能与认知工程研究所、数学与自然科学院终身讲师及研究员。其分别在阿姆斯特丹大学(University of Amsterdam)和马斯特里赫特大学(Maastricht University)获得硕士学位与博士学位。主要从事人工智能、论证与法的研究。著有《规则、理由、论证:论证与击败的形式研究》(Rules,Reasons,Arguments:Formal Studiesof Argumentation and Defeat)等。2012年任第四届论证计算模型靠前会议(COMMA)程序委员会,2013年任第十四届靠前人工智能与法会议(ICAIL)程序委员会。现为靠前人工智能与法协会(IAAIL)执行委员会null

    精彩内容

    目录
    出版说明
    总序
    泽者引言
    中文版序言
    英文版序言
    第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
    参考文献
    网页地址
    索引

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购