Announcements
|
|
The simplest informational event is one where indubitable information becomes available through a public announcement or a public observation. Technically, this reduces the current range of options that agents need to take into account in a manner that is transparent to all. The resulting system of public announcement logic is the simplest system of information flow, and it has become a pilot for subsequent work in dynamic-epistemic logic.
In terms of information, the structures used here are models for epistemic logic interpreted as giving the semantic information of agents. One may see this as a first approximation to the knowledge that agents can be said to have, though much more sophisticated analyses exist for knowledge in its ordinary and philosophical uses.
|
-
Jan Plaza. Logics of public communications. In Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, 201-216, Oak Ridge National Laboratory, 1989. Reprinted as Jan Plaza. Logics of public communications. Synthese, 158(2):165-179, 2007.
-
Jelle Gerbrandy, Willem Groeneveld. Reasoning about Information Change. Journal of Logic, Language, and Information, 6(2):147-196, 1997. Prepublication version available.
-
Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima. 'Knowable' as 'known after an announcement'. Review of Symbolic Logic, 1(3):305-334, 2009.
-
Barteld Kooi, Bryan Renne. Arrow Update Logic. Review of Symbolic Logic, 4(4):536-559, 2011.
-
Fenrong Liu, Yanjing Wang. Reasoning About Agent Types and the Hardest Logic Puzzle Ever. Minds and Machines, 23(1):123-161, 2013.
|