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

被引：6

作者：

胡山立

石纯一

机构：

[1] 福州大学计算机系!福州

[2] 清华大学计算机科学与技术系!北京

来源：

关键词：

Agent; 非正规模态算子; 语义解释; 可能世界;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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

引用

页码：1153 / 1157

页数：5