中国人民大学科学-社会-人文论坛

报告题目：A LOGICAL PERSPECTIVE ON SOLVING GAMES

　　　　　
报告人：约翰.范本特姆（Johan van Benthem）
　　　　 阿姆斯特丹大学大学教授（University Professor）
　　　　斯坦福大学Henry Waldgrave Stuart哲学教授

评论人：叶峰
　　　　 北京大学哲学系副教授

主持人：陈慕泽
　　　　中国人民大学哲学院教授

(handout) (paper)
报告人简介：
Johan van Benthem, 阿姆斯特丹大学的大学教授，斯坦福大学的Henry Waldgrave Stuart哲学教授，欧洲科学院院士和荷兰皇家文理科学院院士。他是阿姆斯特丹大学逻辑、语言和计算研究所的创立者和首任主任，也是欧洲语言、逻辑和信 息协会的首任主席和首位荣誉会员。他主要研究模态逻辑、时态逻辑、自然语言的逻辑语义学和语法，以及计算、交流和博弈的动态逻辑。目前的研究主要集中于解 决逻辑、计算机科学和博弈论的结合基础上的智能互动问题。1996年至2001年间，他获得荷兰国立斯宾诺莎奖的资助。

报告摘要：
Games are an intuitive model for rational action driven by information, beliefs, and many other notions traditionally studied in epistemology. Games also fit very well with logic, for many diferent reasons. Many current research projects involve logics of games, especially the strategic LogiCCC program of the European Science Foundation. This talk addresses just one particular issue in analyzing games: the role of the famous algorithm of Backward Induction that goes back to the set theorist Zermelo, and maybe even further in history. While this method seems obvious, and several Nobel Prizes have already been won for much more sophisticated results in game theory, it has some notorious counterintuitive consequences. Indeed, in our lecture, we will soon see how the underlying reasoning puts many major issues of philosophical and computational logic in a new light. We conclude by drawing some conclusions for formal epistemology.

中国人民大学现代逻辑与科学技术哲学研究所
欢迎点击：http://philo.ruc.edu.cn/logic

Johan van Benthem教授报告	叶峰教授点评

信息页面

转载本文请联系原作者获取授权，同时请注明本文来自黄富强科学网博客。
链接地址：https://blog.sciencenet.cn/blog-89075-228909.html

上一篇：EPIGRAMS IN PROGRAMMING
下一篇：H D Moore