BDI Agent形式化模型

1. BDI Agent的形式化概述 Rao和Georgeff用擴展的計算樹邏輯（Computation Tree Logic，CTL*）來描述BDI主體。該邏輯中，模態算子的語義是用可能世界的可達關係來定義的。該形式化方法採用具有多分枝時序未來和單一過去的時態結構去模型化世界，這種時態結構也稱爲「時間樹」。在特定世界中的一個特定時間點稱爲一個態勢。事件將一個時間點轉換成另一個時間點。原子事件指那

>>阅读原文<<