国产91麻豆一区二区久久久

时间：10月9日 下午3点10分

地点：叁教206

题目：Interfacing Logic and Probabilistic Update

主讲人：Johan van Benthem （范丙申）

摘要：Probabilistic reasoning revolves around information update treated in a quantitative manner. But often, this quantitative information seems much more detailed than what is required, or even warranted, by the problem at hand. I will start with a review of some existing work on interfacing probability with dynamic-epistemic logic, and some discussions between logicians and probability-oriented theorists that have come out of this. Next, I will discuss some puzzles in probabilistic  reasoning, including some recent empirical findings, that lead to a bunch of further questions, including: (a) What are good options for modeling qualitative probability? (b) Can we make existing update rules for plausibility orders do all that is needed  for matching the power of probability?
This talk fits in a  trend of finding a modus vivendi between probabilistic and logical methods in several disciplines.

参考：&苍产蝉辫;&苍产蝉辫;
J. van Benthem, 2011, "Logical Dynamics of Information and Interaction", Cambridge University Press. J. van Benthem,
`Puzzles in Quantitative Probability`, ILLC report, Amsterdam.

Johan van Benthem教授现为阿姆斯特丹大学逻辑、语言与计算研究所（ILLC）教授，美国斯坦福大学哲学系教授，欧洲科学院院士，荷兰皇家艺术与科学院院士， 他是荷兰国家科学最高奖斯宾诺莎奖获得者，同时也是中国教育部海外名师，曾任清华大学伟伦特聘教授，中山大学客座教授。个人主页：http://staff.science.uva.nl/~johan