论文部分内容阅读
将形式化的协调模型转化为可计算化的协调模型是当前协调问题研究中的一个难点.提出在协调知识水平上对协调进行建模,实现BDI结构Agent的协调推理问题;给出基于协调知识水平的分布式协调推理结构,并以出租车司机问题为例,探讨协调推理的单个Agent的内部结构,为协调建模从形式化向可计算化的转化提供依据.