意图是Agent的一个不可缺少的意识属性,在决定理性Agent的行为时起着重要的作用,已经有了若干种基于正规模态逻辑的意图模型,但它们存在着严重的“逻辑全知”问题,该文阐明意图不是正规模态算子,并提出了另一种意图模型,它不存在“逻辑全知”问题和其他相关问题(例如,副作用问题等),这种意图模型与Konolige和Pollack的意图模型相比,比较简单、自然,且满足K公理和联合一致性原理,实际上,为非