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

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

约束满足问题求解途径之比较与分析

本文从逻辑、自动机理论、代数方法、连接主义框架和遗传算法的角度深入地探讨了CSP问题的不同表示框架和求解风范,详细分析和讨论了不同表示和求解方法的特点以及它们之间的内在联系和可能的结合。