期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
行动推理中循环因果关系的研究
被引量:
1
1
作者
骆斌
戈也挺
+1 位作者
朱朝晖
陈世福
《计算机学报》
EI
CSCD
北大核心
2005年第5期829-837,共9页
近年来行动推理的研究成为人工智能领域的热门问题,而结果问题是目前行动推理研究的核心问题之一.该文针对许多行动推理系统不能处理循环因果关系的问题,提出了解决方法.基于适当修改后的McCain和Turner的因果理论,该文提出了一种能处...
近年来行动推理的研究成为人工智能领域的热门问题,而结果问题是目前行动推理研究的核心问题之一.该文针对许多行动推理系统不能处理循环因果关系的问题,提出了解决方法.基于适当修改后的McCain和Turner的因果理论,该文提出了一种能处理循环依赖的理论转化方法.转化后的因果理论消除了循环依赖,而且可以采用单调推理方法.基于因果闭包语义,证明了转化前后的因果理论具有相同的模型.当因果关系不存在循环依赖时,该文方法得到与McCain,Turner方法(1997)相同的结果.
展开更多
关键词
因果关系
结果问题
行动推理
非单调推理
规划
因果理论
在线阅读
下载PDF
职称材料
题名
行动推理中循环因果关系的研究
被引量:
1
1
作者
骆斌
戈也挺
朱朝晖
陈世福
机构
南京大学计算机软件新技术国家重点实验室
南京航空航天大学计算机科学与工程系
出处
《计算机学报》
EI
CSCD
北大核心
2005年第5期829-837,共9页
基金
国家自然科学基金(60003010)
江苏省自然科学资金(BK2004079)资助.~~
文摘
近年来行动推理的研究成为人工智能领域的热门问题,而结果问题是目前行动推理研究的核心问题之一.该文针对许多行动推理系统不能处理循环因果关系的问题,提出了解决方法.基于适当修改后的McCain和Turner的因果理论,该文提出了一种能处理循环依赖的理论转化方法.转化后的因果理论消除了循环依赖,而且可以采用单调推理方法.基于因果闭包语义,证明了转化前后的因果理论具有相同的模型.当因果关系不存在循环依赖时,该文方法得到与McCain,Turner方法(1997)相同的结果.
关键词
因果关系
结果问题
行动推理
非单调推理
规划
因果理论
Keywords
Inference engines
Intelligent agents
Knowledge representation
Mathematical models
Mathematical transformations
Planning
Semantics
Theorem proving
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
行动推理中循环因果关系的研究
骆斌
戈也挺
朱朝晖
陈世福
《计算机学报》
EI
CSCD
北大核心
2005
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部