学术探索
学术期刊
新闻热点
数据分析
智能评审
立即登录
适用于Agent非正规模态算子的一种语义解释
被引:6
作者
:
论文数:
引用数:
h-index:
机构:
胡山立
石纯一
论文数:
0
引用数:
0
h-index:
0
机构:
福州大学计算机系!福州
石纯一
机构
:
[1]
福州大学计算机系!福州
[2]
清华大学计算机科学与技术系!北京
来源
:
计算机研究与发展
|
1999年
/ 10期
关键词
:
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
←
1
→
共 1 条
[1]
Intention is choice with commitment .2 Cohen PR,Levesque HJ. Artificial Intelligence . 1990
←
1
→