基于流演算的多Agent请求/服务协作模型的研究

为了刻画多Agent环境中的交互特性,基于流演算理论和GoFlux语言,吸收了ConGolog语义,提出了CFlux语言。CFlux语言能有效地处理MAS中的For循环、并发、优先级并发、中断等操作,从而可以实现多Agent程序的并发交互执行。在此基础上,基于CFlux和一组通信动作提出一个请求/服务协作模型。最后,通过一个智能日程安排实例表明了上述理论。