摘要

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