论文部分内容阅读
该文提出了一种反应式合作的形式理论.这是一种新的联合活动模型,它允许一组Agent在合作开始之前没有联合计划,也没有时间和信息计算出整个联合计划.它假设:合作中的各Agent仅需对下一步将做什么进行推理;整个Agent团体的联合计划在合作进行中逐渐显明.该文给出了该模型的基本原理和组成成分,讨论了形式化新模型的逻辑,最后对该项工作进行了评述.