Skip to main content
SpringerLink
Log in

A model of reasoning about knowledge

  • Published:
Science in China Series E: Technological Sciences Aims and scope Submit manuscript

Abstract

A modal logical language and its Kripke semantics and Aumann semantics are introduced. A complete formal deduction system is established to describe reasoning about knowledge in multi-agent systems involving different languages, and an institution of logics for multi-agent systems is constructed.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Hintikka, J.,Knowledge and Belief, Ithaca: Cornell University Press, 1962.

    Google Scholar 

  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.

    Article  MATH  MathSciNet  Google Scholar 

  3. Fagin, R., Halpern, J. Y., Reasoning about knowledge and probability,J. ACM, 1994, 41(2): 340.

    Article  MATH  MathSciNet  Google Scholar 

  4. Halpern, J. Y., Moses, Y., Knowledge and common knowledge in a distributed environment,J. ACM, 1990, 37(3): 549.

    Article  MATH  MathSciNet  Google Scholar 

  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.

    Article  MATH  MathSciNet  Google Scholar 

  6. Halpern, J. Y., Tuttle, M. R., Knowledge, probability, and adversaries,J. ACM, 1993, 40(4): 917.

    Article  MATH  MathSciNet  Google Scholar 

  7. Fagin, R., Halpern, J. Y., Moses, Y. et al.,Reasoning About Knowledge, Cambridge, Massachusetts: The MIT Press, 1995.

    MATH  Google Scholar 

  8. Goguen, J. A., Burstall, R. M., Institutions: Abstract model theory for specification and programming,J. ACM, 1992, 39 (1): 95.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, Chinese Academy of Sciences, 100080, Beijing, China

    Ruqian Lu

  2. Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, China

    Mingsheng Ying

Authors
  1. Ruqian Lu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mingsheng Ying
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Project supported by the National Natural Science Foundation of China (Grant Nos. 19671038, 69733020), Foundation for Excellent Young Scientists (No. 69725004), Fok Ying Tung Education Foundation, the National “863” High-Tech Programs of China (No. 863-306-02-05-2, 863-306-05-05-3B) and Institute of Mathematics, the Chinese Academy of Sciences.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lu, R., Ying, M. A model of reasoning about knowledge. Sci. China Ser. E-Technol. Sci. 41, 527–534 (1998). https://doi.org/10.1007/BF02917028

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02917028

Keywords

Search

Navigation