ON THE ALGORITHM TO REALIZE THEOREM PROVING AND SOLVING PROBLEM

数学物理学报 ›› 1982, Vol. 2 ›› Issue (4): 479-484.

• 论文 • 上一篇

ON THE ALGORITHM TO REALIZE THEOREM PROVING AND SOLVING PROBLEM

曾宪昌

Computer Science Department, institute of Computer Science, Wuhan University

收稿日期:1981-12-30 出版日期:1982-12-26 发布日期:1982-12-26

ON THE ALGORITHM TO REALIZE THEOREM PROVING AND SOLVING PROBLEM

Zeng Xianchang

Computer Science Department, institute of Computer Science, Wuhan University

Received:1981-12-30 Online:1982-12-26 Published:1982-12-26

摘要/Abstract

摘要： This paper describes the algorithm and concrete process with BASIC program to realize theorem proving and solving some artificial intelligence problem. For theorem proving we introduce "subsumption test", "omiting method" and "programing technics" to speed up for finding proofs of theorem as the previous paper[1].

曾宪昌. ON THE ALGORITHM TO REALIZE THEOREM PROVING AND SOLVING PROBLEM[J]. 数学物理学报, 1982, 2(4): 479-484.

Zeng Xianchang. ON THE ALGORITHM TO REALIZE THEOREM PROVING AND SOLVING PROBLEM[J]. Acta mathematica scientia,Series A, 1982, 2(4): 479-484.

ON THE ALGORITHM TO REALIZE THEOREM PROVING AND SOLVING PROBLEM

ON THE ALGORITHM TO REALIZE THEOREM PROVING AND SOLVING PROBLEM

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 10