由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高99元无敌券,券有效期7天
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
醉染图书虚拟论9787562064398
¥ ×1
出版说明
总序
泽者引言
中文版序言
英文版序言
章导言
1.1论手
1.2法律领域的可废止论
1.3理论构建与法律案例适用
1.4从自动推理到论辅:人工智能视角
1.5试验论手:Argue!和ArguMed系列
1.6相关研究
1.7事例:严重身体伤害案例
第2章原型:Argue!
2.1论理论
2.2严重身体伤害事例
.程序设计
第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
参考文献
网页地址
索引
巴特·维赫雅 男,荷兰格罗宁根大学(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)执行委员会成员、论计算模型系列靠前会议成员。
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
非常抱歉,您前期未参加预订活动,
无法支付尾款哦!
抱歉,您暂无任性付资格
