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

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