首页    委员会    征稿启事    注册参会    特邀报告    录用论文    会议程序    本地信息    会场与交通    承办单位    精彩瞬间    历届会议    联系我们

特邀大会报告:

陈翌佳(复旦大学计算机科学技术学院)

陈翌佳教授,上海交通大学计算机科学博士、德国弗莱堡大学数学博士,现任复旦大学教授。他的主要研究领域为计算复杂性、逻辑和算法图论,特别是参数复杂性和有限模型论。他的结果发表在计算机一流期刊JACM、SICOMP、一流会议LICS、FOCS、ICALP、数理逻辑一流期刊JSL、APAL等。陈翌佳教授曾获微软青年教授奖和ICALP最佳论文奖,三次担任LICS会议程序委员。

题目:Computation by first-order logic, its power and limitation

摘要:First-order logic (FO) plays a foundational role in mathematical logic, however it has very limited expressive power and extremely low complexity from the computer science perspective. Nevertheless, many hard computational problems can be stratified into so-called slices, each of which is definable in FO. In this talk, I will present some recent results on how this viewpoint might lead to efficient algorithms for hard problems. Some lower bounds will also be discussed.

 

朱菁 (厦门大学人文学院)
朱菁教授现任厦门大学人文学院院长,长江学者,博士生导师。原任职于中山大学哲学系、中山大学逻辑与认知研究所。主要研究领域包括:科学哲学、心灵哲学、认识论、认知科学、道德哲学基础等。主要学术兼职有:中国现代外国哲学学会分析哲学专业委员会第二、三届委员、全国科学哲学学会第三届理事会成员,《逻辑学研究》、《自然辩证法通讯》、《中国分析哲学》编委会成员,美国开尔文学院价值与德性项目、武汉大学克雷茨曼研究所(The Norman Kretzmann Institute for Morality and Belief)顾问委员会成员,北京大学阿尔文•普兰廷伽人类价值研究中心(The Alvin Plantinga Center for Human Values)研究员,台湾阳明大学心智哲学研究所访问教授,中国人民大学现代逻辑与科学技术哲学研究所兼职教授,厦门大学知识论与认知科学研究中心学术委员会成员。

题目:BDI模型的哲学基础

摘要:BDI(Belief-Desire-Intention)是当今人工智能领域具有影响力的关于理性智能主体的认知与逻辑模型,研究人工智能逻辑的学者对此颇为熟知,但大多数人工智能研究者和逻辑学家并不了解的是,该模型具有相当深厚的哲学基础和背景,源于斯坦福大学的哲学家迈克尔.布拉特曼(Michael Bratman)在行动哲学上的重要工作,而布拉特曼本人也是构建该模型的第一个形式化系统的重要参与者。报告人将力求深入浅出地介绍布拉特曼的行动哲学思想以及BDI模型的哲学基础,并以BDI模型这一堪称跨越哲学、逻辑学与计算机科学的天作之合为例,探究开展跨学科研究值得吸取的宝贵经验。

 

本地特邀报告:

廖备水(浙江大学哲学系)

廖备水教授毕业于浙江大学计算机学院,现为浙江大学哲学系教授,博士生导师,浙江大学逻辑与认知研究所副所长,浙江大学“求是青年学者”。主要从事逻辑学与人工智能的研究。出版专著3本、译著1本,已在国际学术刊物及会议上发表论文60多篇。其中,英文专著《Efficient Computation of Argumentation Semantics 》(Elsevier) 获“浙江省第十八届哲学社会科学优秀成果奖一等奖”。主要学术兼职有:卢森堡大学客座教授,国际期刊Argument & Computation (IOS Press) 和 IfCoLog Journal of Logics and their Applications 编委, 中国逻辑学会科学逻辑专业委员会副秘书长、常务委员。“逻辑与论辩国际会议”、”论辩挖掘西溪国际研讨会”、”形式论辩的现在与未来国际研讨会”等国际会议/论坛发起人(组织者),IJCAI、COMMA、LORI、ECAI、PRIMA等重要国际会议程序委员会委员。

题目:Prioritized Norms in Formal Argumentation

摘要:To resolve conflicts among norms, various nonmonotonic formalisms can be used to perform prioritized normative reasoning. Meanwhile, formal argumentation provides a way to represent nonmonotonic logics. In this talk, I introduce a representation of prioritized normative reasoning by argumentation. Using hierarchical abstract normative systems, we define three kinds of prioritized normative reasoning approaches, called Greedy, Reduction, and Optimization. Then, after formulating an argumentation theory for a hierarchical abstract normative system, we show that for a totally ordered hierarchical abstract normative system, Greedy and Reduction can be represented in argumentation by applying the weakest link and the last link principles respectively, and Optimization can be represented by introducing additional defeats capturing implicit conflicts between arguments.