主体命名方式AST

主体的命名和定位是移动主体中的关键技术,它的优劣影响到整个移动主体系统的性能,在分析了目前几种主体命名和定位方式之后,提出一种新的主体命名和定位的方法：Agent Shadow Tracing。这种方法将主体看成是生成它的主机的一种资源,为主体在生成它的主机上分配一个固定的界面（shadow）,在主体移动时,别的主体和程序可以通过与界面交互达到与移动主体通信的目的,这种方法避免了目前主体命名和定位方式的一些缺点,较好地解决了移动主体之间的通信问题。     

（P~（1，1））和正则语言

本文利用模型论博奕理论的方法证明了（Ｐ１，１）能够刻画正则语言．由此我们得到结论：在有限的离散线性序上（Ｐ１，１）和Ｍｏｎａｄｉｃ二阶逻辑的刻画能力是一致的．     

通用的个性化自动谈判服务框架及其实现

针对目前缺少从用户的个性化服务需求到主体服务实现角度设计的通用框架的问题,给出一个通用的个性化自动谈判框架。提出用户个性化服务需求转换为主体服务实现的方法和主体谈判服务的实现步骤,通过一个典型案例的实现与分析结果表明,该框架具有较好的实用性。     

L（P^1,1）和正则语言

本文利用模型论博奕理论的方法证明了Ｌ（Ｐ＾１，１）能够刻画正则语言。由此我们得了结论：在有限的离散线性序上Ｌ（Ｐ＾１，１）和Ｍｏｎａｄｉｃ二阶逻辑的刻画能力是一致的。     

一种基于工作流的软件需求分析方法

文章针对软件工程中数据流分析技术的局限性,提出了一种基于工作流的新的软件需求分析方法———工作流分析方法,详细论述了该方法的理论基础、相关定义、工作流图的描述方法等内容,并给出了在信息系统开发中的应用实例。     

现实世界中的主体的一种复合式结构*

多主体系统试图用主体来模拟人的理性行为．生存在现实世界中的主体，面对不断变化的环境，要保持对紧急情况的及时反应，并为实现自己的目标表现出智能的行为．本文提出一种复合式的结构，即在一个主体中有机地组合了多种并行执行、相对独立但又相互作用的智能形态，以使现实世界中的主体在各种情况下作出合理行动．这些智能形态包括对紧急情况的反射、对中短期行为的规划、对世界的建模分析和短期预测、与其他主体的通讯以及决策生成等．使用本文设计的MAPE环境和基于主体内核的插件式的主体构造方法，复合式结构的主体可以方便地实现．为多主体系统建模和推理，本文还研究了模态逻辑并提出一种新的语义．最后，将这种复合式的结构和其它一些主体结构进行简要的比较．     

基于本体论和多主体的信息检索服务器

Internet技术的发展为人们提供了方便快捷的信息获取手段 ,然而要从如此庞大且瞬息万变的 Internet上检索信息 ,需要快速准确的信息检索工具的协助 .提出了一种利用多智能主体和本体论 (ontology)理论设计的信息检索服务器 .它集成了界面主体、预处理主体、管理主体、信息处理主体和具有移动性的信息搜集主体 ,并利用ontology对文档进行领域分类 ,同时对用户的查询信息进行规范 .该系统能够比较及时地反映网络中信息的动态变化 ,并具有较好的信息导引能力     

Model-theoretical foundation of action and progression

Action is one of the most important concepts in computer science, and situation calculus is the standard formalism for representing and reasoning about actions and their effects. Situation calculus essentially could be presented in a logic framework. Based on the framework LR, such a logic framework is given. Minimal action theory is proposed and studied from the point of view of model theory. By theorems of mathematical logic, some results about the definability about the progression in minimal action theory are obtained.     

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

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

基于扩展颜色Petri网的拍卖协议建模与分析

电子商务自动谈判是多主体协商的典型应用.谈判协议的形式化是实现电子商务谈判自动化的关键.给出一种带抑止弧和时间变迁的颜色Petri网模型及其扩展或然状态图分析方法.用该扩展颜色Petri网模型对拍卖谈判协议进行了建模,同时用扩展或然状态图分析方法证明了协议模型的可达性.