一个改进的理性Agent-BDI模型

AN IMPROVED RATIONAL AGENT BDI MODEL

利用一种新的可能世界语义 ,在 Rao和 Georgeff的基于分支时间可能世界模型的 BDI形式化的基础上 ,得到一个改进的 BDI模型 .与 Rao和 Georgeff的 BDI模型以及大多数基于可能世界的形式化相比 ,不存在逻辑全知问题和除等价情况外的副作用问题 .

Based on a new possible worlds semantic and Rao & Georgeff's BDI formalization which based on a branching time possible worlds model, an improved BDI model is given in this paper. Comparing with Rao & Georgeff's BDI model and most possible worlds formalisms, in this improved BDI model there are not the logical omniscience problem and the side effect problems except in case of equivalence.