BDI Agent形式化模型

1. BDI Agent的形式化概述 Rao和Georgeff用扩展的计算树逻辑（Computation Tree Logic，CTL*）来描述BDI主体。该逻辑中，模态算子的语义是用可能世界的可达关系来定义的。该形式化方法采用具有多分枝时序未来和单一过去的时态结构去模型化世界，这种时态结构也称为“时间树”。在特定世界中的一个特定时间点称为一个态势。事件将一个时间点转换成另一个时间点。原子事件指那

>>阅读原文<<