理性Agent的意图维护模型

在理性Agent的形式化中，通常认为Agent的思维状态包含信念、愿望帮意图这3个属性，它们之间的静态关系已被人们充分重视，但它们随时间的动态变化还未被很好研究，考察了意图维护直观语义中的一些问题，给出了随信念、愿望改变的意图维护的动态模型，与Rao和Georgeff的意图维护模型相比，适用性更广、更简单，不必限制可友爱世界的时序结构，不必另外引入信念=愿望、意图算子的on ly模态形式，并且对愿望和意图不存在逻辑全知问题和重言隐含下的副作用等问题。

A MODEL OF INTENTION MAINTENANCE FOR RATIONAL AGENTS

In formalization of rational agents, the common idea is to consider agents whose mental state comprises the three attitudes of belief, desire, and intention. While the static relationships among these entities has received considerable attention, but the manner in which these entities change over time has not been studied well. In this paper, some problems are examined, which exist in the intuitive semantics of intention maintenance, and a dynamic model of intention maintenance in the context of changing beliefs and desires is provided. Comparing with Rao and Georgeff's model of intention maintenance, the model is more general and simple. It does not need to specify the temporal structure of possible worlds and does not need to introduce forms for only modalities of belief, desire, and intention. Also there do not exist the logical omniscience problem and the side-effect problem under tautological implications for desire and intention.