RAO Logic for Multiagent Framework

In this paper, we deal with how agents reason about knowledgeof others in multiagent system. We first present a knowledge representation frame-work called reasoning about others (RAO) which is designed specifically to representconcepts and rules used in reasoning about knowledge of others. From a class ofsentences usually taken by people in daily life to reason about others, a rule calledposition exchange principle (PEP) is abstracted. PEP is described as an axiomscheme in RAO and regarded as a basic rule f…