Agent的意图模型

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