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 等数据库收录! |
|