首页 | 本学科首页   官方微博 | 高级检索  
   检索      


The Secret of My Success
Authors:Hans Van Ditmarsch  Barteld Kooi
Institution:(1) Computer Science, University of Otago, PO Box 56, Dunedin, 9015, New Zealand;(2) Philosophy, University of Groningen, A-weg 30, 9718, CW, Groningen, The Netherlands
Abstract:In an information state where various agents have both factual knowledge and knowledge about each other, announcements can be made that change the state of information. Such informative announcements can have the curious property that they become false because they are announced. The most typical example of that is ‘fact p is true and you don’t know that’, after which you know that p, which entails the negation of the announcement formula. The announcement of such a formula in a given information state is called an unsuccessful update. A successful formula is a formula that always becomes common knowledge after being announced. Analysis of information systems and ‘philosophical puzzles’ reveals a growing number of dynamic phenomena that can be described or explained by unsuccessful updates. This increases our understanding of such philosophical problems. We also investigate the syntactic characterization of the successful formulas. An erratum to this article is available at .
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号