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

被引:6
作者
胡山立
石纯一
机构
[1] 福州大学计算机系!福州
[2] 清华大学计算机科学与技术系!北京
关键词
Agent; 非正规模态算子; 语义解释; 可能世界;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
文中提出了适用于Agent非正规模态算子的一种语义解释.这种解释是基于正规可能世界的,不存在“逻辑全知”问题和由此带来的副作用等问题.与基于非正规可能世界的传统方法相比,不必增加可能世界的种类,比较自然、合理.文中方法同样适用于多数非正规模态逻辑系统
引用
收藏
页码:1153 / 1157
页数:5
相关论文
共 1 条
  • [1] Intention is choice with commitment .2 Cohen PR,Levesque HJ. Artificial Intelligence . 1990