论文信息 - Resource-bounded Knowledge

Resource-bounded Knowledge

Traditional treatments of knowledge in distributed systems have not been able to account for processors' limited computational resources. This paper presents definitions of resource-bounded knowledge, belief, and common knowledge that in a precise sense capture the behavior of resource-bounded processors. Subtle properties of the resulting notions are discussed, and they are successfully applied to two problems in distributed computing.

Yoram Moses | Y. Moses

[1] Silvio Micali,et al. The knowledge complexity of interactive proof-systems , 1985, STOC '85.

[2] Yoram Moses,et al. Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures , 1986, TARK.

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

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

[5] Kurt Konolige. Belief and incompleteness , 1984 .

[6] Neil Immerman,et al. Foundations of Knowledge for Distributed Systems , 1986, TARK.

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

[8] Ramaswamy Ramanujam,et al. Distributed Processes and the Logic of Knowledge , 1985, Logic of Programs.

[9] Joseph Y. Halpern,et al. Knowledge and common knowledge in a distributed environment , 1984, JACM.

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

[11] Leslie Pack Kaelbling,et al. The Synthesis of Digital Machines With Provable Epistemic Properties , 1986, TARK.

[12] Gary G. Hendrix,et al. Computational Models of Belief and the Semantics of Belief Sentences , 1982 .

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

[14] Max J. Cresswell,et al. Logics and languages , 1973 .