期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
二次检索
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
在结果中检索
在结果中去除
年份
2011
1
1993
1
学科
自动化与计算机技术
2
期刊收录
北大核心期刊
2
CSA-ProQuest数据库
2
CSCD
2
工程索引
2
哥白尼索引
2
日本科学技术振兴机构数据库
2
武大RCCSE核心期刊
2
Scopus数据库
2
中国科技核心期刊
2
文摘杂志
1
化学文摘(网络版)
1
剑桥科学文摘
1
科学文摘数据库
1
数学评论(网络版)
1
数学文摘
1
主题
设计语言
1
定理
1
定理证明
1
基于本体
1
归约
1
本体
1
PROLOG
1
RDF
1
程序设计
1
程序设计语言
1
程序语言
1
期刊
计算机研究与发展
1
电子科技大学学报
1
作者
沈宁川
1
符红光
1
钟秀琴
1
丁盘苹
1
机构
电子科技大学
2
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
SFCM:支持逻辑程序设计语言S-Prolog的抽象图归约机
1
作者
沈宁川
《计算机研究与发展》
EI
CSCD
北大核心
1993年第4期5-9,共5页
本文简单介绍了逻辑程序设计语言S-Prolog,并提出了支持它的抽象图归约机SFCM。S-Prolog 是Prolog的发展,而SFCM是FCM——函数程序设计语言CD-FFP2的抽象图归约机的发展。我们设计SFCM的目的是为了使函数和逻辑语言在抽象机这一层次上...
本文简单介绍了逻辑程序设计语言S-Prolog,并提出了支持它的抽象图归约机SFCM。S-Prolog 是Prolog的发展,而SFCM是FCM——函数程序设计语言CD-FFP2的抽象图归约机的发展。我们设计SFCM的目的是为了使函数和逻辑语言在抽象机这一层次上统一起来。最后,我们讨论了SFCM的实现,并通过实验给出它的性能测试结果。
展开更多
关键词
抽象图归约机
程序语言
s-prolog
下载PDF
职称材料
基于本体与Prolog的平面几何定理证明
被引量:
4
2
作者
钟秀琴
符红光
丁盘苹
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2011年第3期429-434,共6页
基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效...
基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域知识和实现概念分层,从而能快速地构建几何模型,还可以进行复杂关系间的推理,最终实现基于本体和Prolog规则的平面几何定理证明。
展开更多
关键词
平面几何
本体
PROLOG
RDF(S)
定理证明
下载PDF
职称材料
题名
SFCM:支持逻辑程序设计语言S-Prolog的抽象图归约机
1
作者
沈宁川
机构
电子科技大学计算机系
出处
《计算机研究与发展》
EI
CSCD
北大核心
1993年第4期5-9,共5页
基金
国家高技术研究发展863计划资助
文摘
本文简单介绍了逻辑程序设计语言S-Prolog,并提出了支持它的抽象图归约机SFCM。S-Prolog 是Prolog的发展,而SFCM是FCM——函数程序设计语言CD-FFP2的抽象图归约机的发展。我们设计SFCM的目的是为了使函数和逻辑语言在抽象机这一层次上统一起来。最后,我们讨论了SFCM的实现,并通过实验给出它的性能测试结果。
关键词
抽象图归约机
程序语言
s-prolog
Keywords
abstract reduction machine
logicprogramming language
implementation
performance test.
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载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
SFCM:支持逻辑程序设计语言S-Prolog的抽象图归约机
沈宁川
《计算机研究与发展》
EI
CSCD
北大核心
1993
0
下载PDF
职称材料
2
基于本体与Prolog的平面几何定理证明
钟秀琴
符红光
丁盘苹
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2011
4
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部