湘潭师范学院学报(自然科学版)2009，Vol.31Issue(1) ：31-34.

HORN集上基于广义归结方法的定理机器证明

戴望州
湘潭师范学院学报(自然科学版)2009，Vol.31Issue(1) ：31-34.
✕
  • NETL
  • NSTL
  • 维普
  • 万方数据

HORN集上基于广义归结方法的定理机器证明

戴望州1
扫码查看

作者信息

  • 1. 西北工业大学理学院应用数学系,陕西,西安,710125
  • 折叠

摘要

设计了一个Horn集上基于广义归结方法的定理机器证明系统.在算法中使用广度优先与深度优先结合避免了传统归结的组合爆炸.分析了该系统的优缺点,在前人研究的基础上地提出了几点优化的建议.

关键词

广义归结/Horn集/机器证明

引用本文复制引用

出版年

2009
湘潭师范学院学报(自然科学版)
湖南科技大学

湘潭师范学院学报(自然科学版)

影响因子：0.26
ISSN：1671-0231
参考文献量1
段落导航相关论文