并发成员系统程序设计语言环境下的机器人协同问题求解

本文首先提出并证明了模型世界下双机器人协同问题求解的难解性，然后介绍了已开发成功的支持多种特别是协同问题求解的并发成员系统程序设计语言ＭＳ－１在该问题领域的成功应用。

面向推理构件分布式应用环境的构建

以知识系统为背景 ,采用多 agent技术构造了面向推理构件的分布式计算环境 ,提出了一种支持推理构件协同问题求解的解决方案 ,并设计了此分布式应用的关键部件 ,从而实现了推理构件求解问题时知识查询和协同推理的双重功能 。