一个新的意图后承形式系统Lm5c

• 作者: 周熠 朱紫汝 陈小平
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 主体 BDI模型 意图后承 副作用问题 多值逻辑
• 年，卷（期）: 2002,（7）
• 页码范围: 1271-1277
• 页数: 7页
• 分类号: TP18
• 字数: 7071字
• 语种: 中文

摘要

建立意图后承的形式化推理系统是意图形式化研究中的一个重要课题.提供了一个新的基于"归约蕴涵"的意图后承形式系统Lm5c,给出了意图后承的形式规范.与已有的意图后承形式系统相比,这个系统比较简单,并具有许多现有同类系统所不具备的优良性质,比如无副作用.此外,还具有较强的推理能力,可供Agent自身用于意图推理和目标修改.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱紫汝	中国科学技术大学计算机科学与技术系	1	6	1.0	1.0
2	陈小平	中国科学技术大学计算机科学与技术系	94	783	15.0	22.0
6	周熠	中国科学技术大学计算机科学与技术系	3	9	2.0	3.0