论文信息 - I'm OK if You're OK: On the Notion of Trusting Communication

I'm OK if You're OK: On the Notion of Trusting Communication

We consider the issue of what an agent or a processor needs to know in order to know that its messages are true. This may be viewed as a first step to a general theory of cooperative communication in distributed systems. An honest message is one that is known to be true when it is sent (or said). If every message that is sent is honest, then of course every message that is sent is true. Various weaker considerations than honesty are investigated with the property that provided every message sent satisfies the condition, then every message sent is true.

Ronald Fagin | Joseph Y. Halpern

[1] K. Mani Chandy,et al. How processes learn , 1985, ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing.

[2] J. Hintikka. Knowledge and belief , 1962 .

[3] Saul A. Kripke,et al. Outline of a Theory of Truth , 1975 .

[4] Anil Gupta,et al. Truth and paradox , 1982, J. Philos. Log..

[5] K. Mani Chandy,et al. How processes learn , 1985, PODC '85.

[6] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.

[7] Joseph Y. Halpern. USING REASONING ABOUT KNOWLEDGE TO ANALYZE DISTRIBUTED SYSTEMS , 1987 .

[8] Ronald Fagin,et al. A formal model of knowledge, action, and communication in distributed systems: preliminary report , 1985, PODC '85.

[9] William J. Rapaport. Review: Cynthia Dwork, Yoram Moses, Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures , 1988 .

[10] Yoram Moses,et al. Resource-bounded Knowledge , 1988, TARK.

[11] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[12] Yoram Moses,et al. Knowledge and common knowledge in a Byzantine environment I: crash failures , 1986 .

[13] David Lewis. Convention: A Philosophical Study , 1986 .

[14] Joseph Y. Halpern,et al. A knowledge-based analysis of zero knowledge , 1988, STOC '88.