RAO logic for multiagent framework
- 14 Downloads
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.
Keywordsmultiagent RAO logic position exchange principle (PFP)
Unable to display preview. Download preview PDF.
- Allen J, Recognizing Intentions from Natural Language Utterances. InComputational Models of Discourse, Brady M, Brewick R C (eds.), 1983, MIT Press.Google Scholar
- Austin J L. How To Do Things with Words. New York: Oxford University Press, 1962.Google Scholar
- Finin Timet al. KQML as an Agent Communication Language., InCIKM'94, ACM Press, 1994, 11.Google Scholar
- Michael R Genesereth, Nils J Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers, Inc., 1987.Google Scholar
- McCarthy J. Formalizing Common Sense. Lifschitz V (ed.), Ablex Publishing Corp., 1990.Google Scholar
- Gerhard Lakemeyer. All they know: A study in multi-agent autoepistemic reasoning. InIJCAI'93, 1993, 376–381.Google Scholar