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