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.
Similar content being viewed by others
References
Fagin R, Halpern Joseph Y, Yoram Moses, Vardi Moshe Y. Reasoning about Knowledge. The MIT Press, Cambridge, Massachusetts, 1995.
Allen J, Recognizing Intentions from Natural Language Utterances. InComputational Models of Discourse, Brady M, Brewick R C (eds.), 1983, MIT Press.
Austin J L. How To Do Things with Words. New York: Oxford University Press, 1962.
Finin Timet al. KQML as an Agent Communication Language., InCIKM'94, ACM Press, 1994, 11.
Michael R Genesereth, Nils J Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers, Inc., 1987.
McCarthy J. Formalizing Common Sense. Lifschitz V (ed.), Ablex Publishing Corp., 1990.
Gerhard Lakemeyer. All they know: A study in multi-agent autoepistemic reasoning. InIJCAI'93, 1993, 376–381.
Reiter R. A Logical for Default Reasoning.Artificial Intelligence, 1980, 13(1–2): 81–132.
Matthew L Ginsberg. Counterfactuals.Artificial Intelligence, 1986, 30: 35–80.
Author information
Authors and Affiliations
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
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
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02948742