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

• 作者: 石纯一 胡山立
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: Agent 非正规模态算子 语义解释 可能世界
• 年，卷（期）: 1999,（10）
• 所属期刊栏目: 人工智能
• 页码范围: 1153-1157
• 页数: 5页
• 分类号: TP18
• 字数: 4661字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	石纯一	清华大学计算机科学与技术系	85	3189	30.0	55.0
2	胡山立	福州大学计算机系	41	542	13.0	22.0