Skip to main content
SpringerLink
Log in

RAO logic for multiagent framework

  • Correspondence
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

In this paper, we deal with how agents reason about knowledge of others in multiagent system. We first present a knowledge representation framework called reasoning about others (RAO) which is designed specifically to represent concepts and rules used in reasoning about knowledge of others. From a class of sentences usually taken by people in daily life to reason about others, a rule calledposition exchange principle (PEP) is abstracted. PEP is described as an axiom scheme in RAO and regarded as a basic rule for agents to reason about others, and further it has the similar form and role tomodus ponens and (K) axiom of knowledge logic. The relationship between speech acts and common sense is also discussed which is necessary for RAO. Based on ideas from situation calculus, this relationship is characterized by an axiom schema in RAO. Our theories are also demonstrated by an example.

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. Fagin R, Halpern Joseph Y, Yoram Moses, Vardi Moshe Y. Reasoning about Knowledge. The MIT Press, Cambridge, Massachusetts, 1995.

    MATH  Google Scholar 

  2. Allen J, Recognizing Intentions from Natural Language Utterances. InComputational Models of Discourse, Brady M, Brewick R C (eds.), 1983, MIT Press.

  3. Austin J L. How To Do Things with Words. New York: Oxford University Press, 1962.

    Google Scholar 

  4. Finin Timet al. KQML as an Agent Communication Language., InCIKM'94, ACM Press, 1994, 11.

  5. Michael R Genesereth, Nils J Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers, Inc., 1987.

  6. McCarthy J. Formalizing Common Sense. Lifschitz V (ed.), Ablex Publishing Corp., 1990.

  7. Gerhard Lakemeyer. All they know: A study in multi-agent autoepistemic reasoning. InIJCAI'93, 1993, 376–381.

  8. Reiter R. A Logical for Default Reasoning.Artificial Intelligence, 1980, 13(1–2): 81–132.

    Article  MATH  MathSciNet  Google Scholar 

  9. Matthew L Ginsberg. Counterfactuals.Artificial Intelligence, 1986, 30: 35–80.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computing Technology, Chinese Academy of Sciences, P.R. China

    Shi Zhongzhi, Tian Qijia & Li Yunfeng

Authors
  1. Shi Zhongzhi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tian Qijia
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Li Yunfeng
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This work was supported by the National ‘863’ Hi-Tech Programme of China.

SHI Zhongzhi was born in 1941. He is a Professor of the Institute of Computing Technology, Chinese Academy of Sciences. His research interests include, artificial intelligence, agent technology, machine learning, intelligent software. He is a senior member of IEEE, member of IFIP TC 12, member of PRICAI Standing Steering Committee.

TIAN Qijia was born in 1965. He received his M.S. and Ph.D. degrees in Mathematics from Beijing Normal University in 1990 and 1994 respectively. His research interests are mathematical logic, artificial intelligence and agent technology.

LI Yunfeng was born in 1972. He received his Ph.D. degree in Computer Science from Institute of Computing Technology, Chinese Academy of Sciences. His research interests include artificial intelligence, decision support systems.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Shi, Z., Tian, Q. & Li, Y. RAO logic for multiagent framework. J. Comput. Sci. & Technol. 14, 393–400 (1999). https://doi.org/10.1007/BF02948742

Download citation

  • Received:

  • Revised:

  • Issue Date:

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

Keywords

Search

Navigation