Journal of Computer Science and Technology

, Volume 14, Issue 4, pp 393–400 | Cite as

RAO logic for multiagent framework

  • Shi Zhongzhi 
  • Tian Qijia 
  • Li Yunfeng 


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.


multiagent RAO logic position exchange principle (PFP) 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Fagin R, Halpern Joseph Y, Yoram Moses, Vardi Moshe Y. Reasoning about Knowledge. The MIT Press, Cambridge, Massachusetts, 1995.MATHGoogle Scholar
  2. [2]
    Allen J, Recognizing Intentions from Natural Language Utterances. InComputational Models of Discourse, Brady M, Brewick R C (eds.), 1983, MIT Press.Google Scholar
  3. [3]
    Austin J L. How To Do Things with Words. New York: Oxford University Press, 1962.Google Scholar
  4. [4]
    Finin Timet al. KQML as an Agent Communication Language., InCIKM'94, ACM Press, 1994, 11.Google Scholar
  5. [5]
    Michael R Genesereth, Nils J Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers, Inc., 1987.Google Scholar
  6. [6]
    McCarthy J. Formalizing Common Sense. Lifschitz V (ed.), Ablex Publishing Corp., 1990.Google Scholar
  7. [7]
    Gerhard Lakemeyer. All they know: A study in multi-agent autoepistemic reasoning. InIJCAI'93, 1993, 376–381.Google Scholar
  8. [8]
    Reiter R. A Logical for Default Reasoning.Artificial Intelligence, 1980, 13(1–2): 81–132.MATHCrossRefMathSciNetGoogle Scholar
  9. [9]
    Matthew L Ginsberg. Counterfactuals.Artificial Intelligence, 1986, 30: 35–80.MATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Science Press, Beijing China and Allerton Press Inc. 1999

Authors and Affiliations

  • Shi Zhongzhi 
    • 1
  • Tian Qijia 
    • 1
  • Li Yunfeng 
    • 1
  1. 1.Institute of Computing TechnologyChinese Academy of SciencesP.R. China

Personalised recommendations