期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于混合推理的知识库的构建及其应用研究
被引量：
43
1
作者
钟秀琴
刘忠
丁盘苹
《计算机学报》
EI
CSCD
北大核心
2012年第4期761-766,共6页
该文提出了基于OWL本体与Prolog规则的平面几何知识库的构建方法,从而可形式化地表示平面几何中丰富的语义信息.一方面,用类型、定义域、值域、分类、属性、实例等本体描述来表达结构化的知识,为领域内概念与概念之间关系的描述提供形...
该文提出了基于OWL本体与Prolog规则的平面几何知识库的构建方法,从而可形式化地表示平面几何中丰富的语义信息.一方面,用类型、定义域、值域、分类、属性、实例等本体描述来表达结构化的知识,为领域内概念与概念之间关系的描述提供形式化的语义;另一方面,用Prolog规则来解决本体不能有效表达的诸如属性之间的关系和操作等问题,从而支持复杂关系间的推理.在此基础上,用Protégé和Prolog构建了一个基于本体和规则的平面几何知识库.实验证明:此知识库可实现知识和语义层次上的信息查询,还可进行复杂问题求解,其丰富的语义描述和混合推理能力弥补了传统知识库的不足.
展开更多
关键词
平面几何
本体
知识库
混合推理
在线阅读
下载PDF
职称材料
基于本体与Prolog的平面几何定理证明
被引量：
4
2
作者
钟秀琴
符红光
丁盘苹
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2011年第3期429-434,共6页
基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效...
基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域知识和实现概念分层,从而能快速地构建几何模型,还可以进行复杂关系间的推理,最终实现基于本体和Prolog规则的平面几何定理证明。
展开更多
关键词
平面几何
本体
PROLOG
RDF(S)
定理证明
在线阅读
下载PDF
职称材料
题名
基于混合推理的知识库的构建及其应用研究
被引量：
43
1
作者
钟秀琴
刘忠
丁盘苹
机构
电子科技大学计算机科学与工程学院
四川建筑职业技术学院
出处
《计算机学报》
EI
CSCD
北大核心
2012年第4期761-766,共6页
基金
国家自然科学基金(61073099)
国家"十一五"科技支撑计划项目(2009BAH46B0302)
+2 种基金
中央高校基本科研业务费专项资金(ZYGX2009J059
ZYGX2009J058)
电子科技大学教育教学改革研究重点专项(2010XJYYB007)资助~~
文摘
该文提出了基于OWL本体与Prolog规则的平面几何知识库的构建方法,从而可形式化地表示平面几何中丰富的语义信息.一方面,用类型、定义域、值域、分类、属性、实例等本体描述来表达结构化的知识,为领域内概念与概念之间关系的描述提供形式化的语义;另一方面,用Prolog规则来解决本体不能有效表达的诸如属性之间的关系和操作等问题,从而支持复杂关系间的推理.在此基础上,用Protégé和Prolog构建了一个基于本体和规则的平面几何知识库.实验证明:此知识库可实现知识和语义层次上的信息查询,还可进行复杂问题求解,其丰富的语义描述和混合推理能力弥补了传统知识库的不足.
关键词
平面几何
本体
知识库
混合推理
Keywords
elementary geometry
ontology
knowledge base
hybrid reasoning
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于本体与Prolog的平面几何定理证明
被引量：
4
2
作者
钟秀琴
符红光
丁盘苹
机构
电子科技大学计算机科学与工程学院
出处
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2011年第3期429-434,共6页
基金
国家自然科学基金面上项目(61073099)
中央高校基本科研业务费专项资金(ZYGX2009J059
ZYGX2009J058)
文摘
基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域知识和实现概念分层,从而能快速地构建几何模型,还可以进行复杂关系间的推理,最终实现基于本体和Prolog规则的平面几何定理证明。
关键词
平面几何
本体
PROLOG
RDF(S)
定理证明
Keywords
elementary geometry
ontology
Prolog
RDF（S）
theorem proving
分类号
TP3 [自动化与计算机技术—计算机科学与技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于混合推理的知识库的构建及其应用研究
钟秀琴
刘忠
丁盘苹
《计算机学报》
EI
CSCD
北大核心
2012
43
在线阅读
下载PDF
职称材料
2
基于本体与Prolog的平面几何定理证明
钟秀琴
符红光
丁盘苹
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2011
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
