报告人：Malvin Gattinger 阿姆斯特丹大学逻辑、语言和计算研究所

时间：2017年10月30日 周一 16:00-18:00

地点：北京师范大学主楼A805

摘要：动态八卦问题是经典电话问题的推广：假定你和你的朋友们各自有一个秘密；无论什么时候你们通电话，你们都会告诉对方你们所知道的所有事情；开始的时候，你们可能不知道所有人的电话号码，但通过通话，你们能够知道新的电话号码。在什么条件下所有人会知道所有的秘密？在什么情况下通话应该得到允许？如何避免没用的通话？我们能用认知逻辑改进这些规则吗？有没有一个完美的协议适用于所有的情况？本报告首先介绍动态八卦问题，之后在协议的认知强化方面，提出一些新的想法。本研究与Hans van Ditmarsch, Louwe B. Kuijer和Pere Pardo合作完成。

北京师范大学哲学学院逻辑与认知科学研究所

北京市逻辑学会青年学者论坛