期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
知识编译研究
被引量：
3
1
作者
谷文祥
赵晓威
殷明浩
《计算机科学》
CSCD
北大核心
2010年第7期20-26,共7页
知识编译是处理命题逻辑知识库常用的一种新技术,知识编译的过程就是把知识转换成易于推理的表示形式。作为一种有效的推理机制,这种技术已经被广泛地应用到各种各样的人工智能领域中。对目前知识编译的研究与应用进行了综述性的介绍,...
知识编译是处理命题逻辑知识库常用的一种新技术,知识编译的过程就是把知识转换成易于推理的表示形式。作为一种有效的推理机制,这种技术已经被广泛地应用到各种各样的人工智能领域中。对目前知识编译的研究与应用进行了综述性的介绍,并且从简洁性、多项式时间内支持的查询操作以及多项式时间内支持的转换操作3个方面对各种知识编译目标语言做了系统的阐述。
展开更多
关键词
知识
编译
编译目标语言
命题逻辑
知识库
在线阅读
下载PDF
职称材料
题名
知识编译研究
被引量：
3
1
作者
谷文祥
赵晓威
殷明浩
机构
东北师范大学计算机学院
出处
《计算机科学》
CSCD
北大核心
2010年第7期20-26,共7页
基金
国家自然科学基金项目(编号为:60473042
60573067和60803102)资助
文摘
知识编译是处理命题逻辑知识库常用的一种新技术,知识编译的过程就是把知识转换成易于推理的表示形式。作为一种有效的推理机制,这种技术已经被广泛地应用到各种各样的人工智能领域中。对目前知识编译的研究与应用进行了综述性的介绍,并且从简洁性、多项式时间内支持的查询操作以及多项式时间内支持的转换操作3个方面对各种知识编译目标语言做了系统的阐述。
关键词
知识
编译
编译目标语言
命题逻辑
知识库
Keywords
Knowledge compilation, Target compilation languages, Proposition logic,Knowledge base
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
知识编译研究
谷文祥
赵晓威
殷明浩
《计算机科学》
CSCD
北大核心
2010
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
