国家学术搜索
登录
注册
中文
EN
首页
|
HORN集上基于广义归结方法的定理机器证明
HORN集上基于广义归结方法的定理机器证明
引用
认领
扫码查看
点击上方二维码区域，可以放大扫码查看
原文链接
NETL
NSTL
万方数据
维普
中文摘要：
设计了一个Horn集上基于广义归结方法的定理机器证明系统.在算法中使用广度优先与深度优先结合避免了传统归结的组合爆炸.分析了该系统的优缺点,在前人研究的基础上地提出了几点优化的建议.
收起全部
展开查看外文信息
作者：
戴望州
展开 >
作者单位：
西北工业大学理学院应用数学系,陕西,西安,710125
关键词：
广义归结
Horn集
机器证明
出版年：
2009
湘潭师范学院学报(自然科学版)
湖南科技大学
湘潭师范学院学报(自然科学版)
影响因子：
0.26
ISSN：
1671-0231
年,卷(期)：
2009.
31
(1)
参考文献量
1
NETL
NSTL
万方数据
维普
