Using counterfactuals in knowledge-based programming

Distributed Computing

Volumn 17, Issue 2, 2004, Pages 91-106

  Halpern, Joseph Y ^a   Moses, Yoram ^b  

^a Department of Computer Science and School of Operations Research and Information Engineering   (United States)

^b TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION LINE; COUNTERFACTUALS; KNOWLEDGE-BASED PROGRAMMING; SHARED-MEMORY VARIABLE;

GAME THEORY; SEMANTICS; SIGNAL RECEIVERS; THEOREM PROVING; TOPOLOGY;

KNOWLEDGE BASED SYSTEMS;

EID: 4444332285     PISSN: 01782770     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00446-004-0108-1     Document Type: Article

References (26)

1. Dwork, C., Moses, Y.: Knowledge and common knowledge in a Byzantine environment: crash failures. Information and Computation 88(2):156-186 (1990).
2. Engelhardt, K., van der Meyden, R., Moses, Y.: Knowledge and the logic of local propositions. In: Theoretical Aspects of Rationality and Knowledge: Proc. Seventh Conference (TARK 1998), 1998, pp. 29-41.
3. Fagin, R., Halpern, J. Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge, Mass., 1995.
4. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Knowledge-based programs. Distrib. Comput. 10(4):199-225 (1997).
5. Francez, N.: Fairness. Springer, Berlin New York, 1986.
6. Friedman, N., Halpern, J.Y.: Modeling belief in dynamic systems, Part I: foundations. Artificial Intelligence 95(2):257-316 (1997).
7. Goldszmidt, M., Pearl, J.: Rank-based systems: A simple approach to belief revision, belief update and reasoning about evidence and actions. In: Principles of Knowledge Representation and Reasoning: Proc. Third International Conference (KR '92), 1992, pp. 661-672.
8. Hadzilacos, V.: A knowledge-theoretic analysis of atomic commitment protocols. In: Proc. 6th ACM Symp. on Principles of Database Systems, pp. 129-134, 1987.
9. Hadzilacos, V., Halpern, J.Y.: Message-optimal protocols for Byzantine agreement. Mathematical Systems Theory 26:41-102 (1993).
10. Halpern, J.Y: Axiomatizing causal reasoning. Journal of A.I. Research 12:317-337 (2000).
11. Halpern, J.Y., Fagin, R.: Modelling knowledge and action in distributed systems. Distrib. Comput. 3(4):159-179 (1989). A preliminary version appeared in: Proc. 4th ACM Symposium on Principles of Distributed Computing, 1985, with the title "A formal model of knowledge, action, and communication in distributed systems: preliminary report".
12. Halpern, J.Y., Fagin, R.: Modelling knowledge and action in distributed systems. Distrib. Comput. 3(4):159-179 (1989). A preliminary version appeared in: Proc. 4th ACM Symposium on Principles of Distributed Computing, 1985, with the title "A formal model of knowledge, action, and communication in distributed systems: preliminary report".
13. Halpern, J.Y., Moses, Y: Knowledge and common knowledge in a distributed environment. J. ACM 37(3):549-587 (1990).
14. Halpern, J.Y., Moses, Y., Waarts, O.: A characterization of eventual Byzantine agreement. SIAM J. Comput. 31(3):838-865 (2001).
15. Halpern, J.Y, Zuck, L.D.: A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols. J. ACM 39(3):449-478 (1992).
16. Kalai, E., Lehrer, E.: Subjective games and equilibria. Games and Economic Behavior 8:123-163 (1995).
17. Lewis, D.K.: Counterfactuals. Harvard University Press, Cambridge, Mass., 1973.
18. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, Berlin New York, 1992.
19. Mazer, M.S.: A link between knowledge and communication in faulty distributed systems. In: Theoretical Aspects of Reasoning about Knowledge: Proc. Third Conference, 1990, pp. 289-304.
20. Mazer, M.S., Lochovsky, F.H.: Analyzing distributed commitment by reasoning about knowledge. Technical Report CRL 90/10, DEC-CRL, 1990.
21. Moses, Y., Turtle, M.R.: Programming simultaneous actions using common knowledge. Algorithmica 3:121-169 (1988).
22. Neiger, G., Toueg, S.: Simulating real-time clocks and common knowledge in distributed systems. J. ACM 40(2):334-367 (1993).
23. Pearl, J.: Causality: Models, Reasoning, and Inference. Cambridge University Press, New York, 2000.
24. Spohn, W.: Ordinal conditional functions: a dynamic theory of epistemic states. In: Harper, W., Skyrms, B. (eds.), Causation in Decision, Belief Change, and Statistics, vol. 2, pp. 105-134. Reidel, Dordrecht, Netherlands, 1988.
25. Stalnaker, R.C.: A theory of conditionals. In: Rescher, N. (ed.), Studies in Logical Theory, American Philosophical Quarterly Monograph Series, No. 2, pp. 98-112. Blackwell, Oxford, UK, 1968. Also appears in Harper, W.L., Stalnaker, R.C., Pearce, G. (eds.), Ifs. Dordrecht, Netherlands: Reidel, 1981.
26. Stalnaker, R.C.: A defense of conditional excluded middle. In: Harper, W.L., Stalnaker, R., Pearce, G. (eds.), Ifs, pp. 87-104. Reidel, Dordrecht, Netherlands, 1980.