报告题目：计算论辩及其研究进展

报告摘要：计算论辩是人工智能领域的热点研究方向。本次报告将分析计算论辩的研究背景，介绍计算论辩的基本概念、理论、方法及最新发展动态。具体包括：（1）非单调推理与计算论辩，（2）结构化论辩和抽象论辩，（3）论辩系统的动态性，（4）论辩语义高效计算方法，（5）含优先级的论辩，（6）半结构化论辩，（7）概率论辩，（8）论辩在人工智能伦理中的应用。

报告人简介：廖备水，2006年3月毕业于浙江大学计算机学院，获得博士学位，主要从事逻辑学与人工智能的研究。现任浙江大学教授，博士生导师，浙江大学逻辑与认知研究所副所长，浙江大学"大数据+推理与决策"创新团队首席专家，浙江大学"求是青年学者"，国际道义逻辑和规范系统学会指导委员会委员，卢森堡大学客座教授,英国牛津大学、意大利布雷西亚大学、美国德克萨斯大学奥斯汀分校访问学者，IEEE P7000工作组成员，国际期刊Argument & Computation (IOS Press)和Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (JAL-FLAP)编委，IJCAI、AAAI、AAMAS、COMMA、LORI等重要国际会议程序委员会委员。目前，已出版专著3本、译著1本，在Artificial Intelligence、Journal of Logic and Computation、Annals of Mathematics and Artificial Intelligence、Information Sciences、IJCAI、KR、COMMA、LORI等学术刊物及国际会议上发表论文60余篇。其中，英文专著《Efficient Computation of Argumentation Semantics》(Elsevier) 获"浙江省第十八届哲学社会科学优秀成果奖一等奖"。

报告时间：2019年5月27日（周一）上午10:00-11:00
报告地点：长清校区A334报告厅

欢迎老师和同学参加！