摘要
在理性 Agent的形式化中 ,通常认为 Agent的思维状态包含信念、愿望和意图这 3个属性 .它们之间的静态关系已被人们充分重视 ,但它们随时间的动态变化还未被很好研究 .考察了意图维护直观语义中的一些问题 ,给出了随信念、愿望改变的意图维护的动态模型 ,与 Rao和 Georgeff的意图维护模型相比 ,适用性更广、更简明 ,不必限制可能世界的时序结构 ,不必另外引入信念、愿望、意图算子的 only模态形式 .
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.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2001年第9期1046-1050,共5页
Journal of Computer Research and Development
基金
国家自然科学基金 ( 6 99730 2 3)
福建省自然科学基金 ( F0 0 0 12 )资助
