Using counterfactuals in knowledge-based programming
作者： Joseph Y. Halpern , Yoram Moses
DOI:
关键词:
摘要: We show how counterfactuals can be added to the framework of knowledge-based programs Fagin, Halpern, Moses, and Vardi [1995, 1997]. that counter-factuals allow us capture in a natural way notions like minimizing number messages are sent, whereas attempts formalize these without lead some rather counterintuitive behavior. also with subgame-perfect equilibria games perfect information.
参考文章(24)
Judea Pearl, Moisés Goldszmidt, Rank-based Systems: A Simple Approach to Belief Revision, Belief Update, and Reasoning about Evidence and Actions. principles of knowledge representation and reasoning. pp. 661- 672 ,(1992)
Zohar Manna, Amir Pnueli, The temporal logic of reactive and concurrent systems ,(1992)
Robert C. Stalnaker, A Defense of Conditional Excluded Middle IFS. pp. 87- 104 ,(1980) , 10.1007/978-94-009-9117-0_4
Ron van der Meyden, Yoram Moses, Kai Engelhardt, Knowledge and the logic of local propositions theoretical aspects of rationality and knowledge. pp. 29- 41 ,(1998)
Murray S. Mazer, A link between knowledge and communication in faulty distributed systems theoretical aspects of rationality and knowledge. pp. 289- 304 ,(1990)
Robert C. Stalnaker, A Theory of Conditionals IFS. pp. 41- 55 ,(1968) , 10.1007/978-94-009-9117-0_2
Joseph Y. Halpern, Vassos Hadzilacos, Message-optimal protocols for Byzantine Agreement Theory of Computing Systems \/ Mathematical Systems Theory. ,vol. 26, pp. 41- 102 ,(1993) , 10.1007/BF01187074
Joseph Y. Halpern, Ronald Fagin, A formal model of knowledge, action, and communication in distributed systems: preliminary report principles of distributed computing. pp. 224- 236 ,(1985) , 10.1145/323596.323617
Yoram Moses, Orit Kislev, Knowledge-oriented programming Proceedings of the twelfth annual ACM symposium on Principles of distributed computing - PODC '93. pp. 261- 270 ,(1993) , 10.1145/164051.164080
R. Selten, Reexamination of the perfectness concept for equilibrium points in extensive games International Journal of Game Theory. ,vol. 4, pp. 25- 55 ,(1975) , 10.1007/BF01766400