期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

全文获取类型

收费全文	1篇
免费	0篇
国内免费	1篇

专业分类

自动化技术

2篇

出版年

2002年

2篇

排序方式： 共有2条查询结果，搜索用时 0 毫秒

一个新的意图后承形式系统L_m5c 总被引：1，自引：1，他引：0

朱紫汝陈小平周熠《软件学报》2002,13(7):1271-1277

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

一个新的意图后承形式系统Lm5c 总被引：1，自引：0，他引：1

朱紫汝陈小平周熠《软件学报》2002,13(7)

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