摘要
意图是 Agent的一个不可缺少的意识属性 ,在决定理性 Agent的行为时起着重要的作用 .已经有了若干种基于正规模态逻辑的意图模型 ,但它们存在着严重的“逻辑全知”问题 .该文阐明意图不是正规模态算子 ,并提出了另一种意图模型 ,它不存在“逻辑全知”问题和其他相关问题 (例如 ,副作用问题等 ) .这种意图模型与Konolige和 Pollack的意图模型相比 ,比较简单、自然 ,且满足 K公理和联合一致性原理 ,实际上 。
Intentions, an integral part of the mental state of an agent, play an important role in determining the behavior of rational agents. There are several models of intention based on normal modal logic. But these theories suffer from the omniscience problem seriously. In this paper, the authors argue that intention is not a normal modal operator, and present another intention model. It doesn't have the logical omniscience problem and other related problems such as side effect problem, etc. Compared with Konolige and Pollack's model of intention, this model not only is simpler and more natural, but also satisfies the K axiom and the Joint Consistency. Actually it gives a new method for semantic representation of non normal modal operators based on normal possible worlds.
出处
《软件学报》
EI
CSCD
北大核心
2000年第7期965-970,共6页
Journal of Software
基金
国家自然科学基金!(Nos.69773026
69733020)资助
