A model of reasoning about knowledge

Science in China, Series E: Technological Sciences

Volumn 41, Issue 5, 1998, Pages 527-534

  Lu, Ruqian ^a   Ying, Mingsheng ^b  

^a INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

^b TSINGHUA UNIVERSITY   (China)

Author keywords

Common knowledge; Distributed artificial intelligence; Distributed knowledge; Reasoning about knowledge; Representation of knowledge

Indexed keywords

EID: 0008786610     PISSN: 10069321     EISSN: None     Source Type: Journal    
DOI: 10.1007/bf02917028     Document Type: Article

References (8)

1. Hintikka, J., Knowledge and Belief, Ithaca: Cornell University Press, 1962.
2. Fagin, R., Halpern, J. Y., Vardi, M. Y., What can machines know? On the properties of knowledge in distributed systems, J. ACM, 1992, 39(2): 328.
3. Fagin, R., Halpern, J. Y., Reasoning about knowledge and probability, J. ACM, 1994, 41(2): 340.
4. Halpern, J. Y., Moses, Y., Knowledge and common knowledge in a distributed environment, J. ACM, 1990, 37(3): 549.
5. 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, 1992, 39(3): 449.
6. Halpern, J. Y., Tuttle, M. R., Knowledge, probability, and adversaries, J. ACM, 1993, 40(4): 917.
7. Fagin, R., Halpern, J. Y., Moses, Y. et al., Reasoning About Knowledge, Cambridge, Massachusetts: The MIT Press, 1995.
8. Goguen, J. A., Burstall, R. M., Institutions: Abstract model theory for specification and programming, J. ACM, 1992, 39 (1): 95.