适用于Agent非正规模态算子的一种语义解释

摘要：

文中提出了适用于Agent非正规模态算子的一种语义解释.这种解释是基于正规可能世界的,不存在"逻辑全知" 问题和由此带来的副作用等问题.与基于非正规可能世界的传统方法相比,不必增加可能世界的种类,比较自然、合理.文中方法同样适用于多数非正规模态逻辑系统.

关键词：Agent、非正规模态算子、语义解释、可能世界

所属期刊栏目：36

分类号：TP18(自动化基础理论)

资助基金：中国科学院资助项目69773026,69733020

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1153-1157