多主体系统中对其它主体的研究

REASONING ABOUT OTHERS IN MULTI AGENT SYSTEMS

多主体系统是当前人工智能研究的一个热点．其中，关于知识和动作的推理是一个重要的课题，文中给出了一种知识表示框架，称为ＲＡＯ逻辑，用来对其它主体研究时表示概念和规则．我们从日常推理中抽象出了称为换位原理的规则（ＰＥＰ）．ＰＥＰ是ＲＡＯ的一条公理模式，并且作为主体研究其它主体的一个基本规则，它与知识逻辑中的分离规则和（Ｋ）公理具有相似的形式和作用．

Here presented is a knowledge representation framework called RAO, which is designed specifically to represent concepts and rules used in reasoning about knowledge of other agents.From a class of sentences usually used by people in daily life when reasoning about others,a rule called position 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.