摘要
机器定理证明是人工智能的重要分支学科之一 .定理的机器证明已经达到了相当成熟的水平 ,但有关利用图论方法进行定理的机器证明还不多见 .在这样的背景下 ,试图结合机器定理证明的经典方法 ,将图论思想引入进来 ,提出了一种初步的图论机器定理证明方法 ,解决了一类有关定理的机器证明问题 .
Machine theorem proving, one of the important subjects of Artificial Intelligence, has reached a quite mature state while the employment of graph theories is fairly new to the field. The present paper proposes a preliminary method of machine theorem proving based on graph theories, with the advantages of the classic methods.
出处
《湖州师范学院学报》
2001年第3期54-56,共3页
Journal of Huzhou University
关键词
定理机器证明
有向图
路
邻接矩阵
人工智能
mechanical theorem proving, directed graph, path, adjacency matrix
