湖州师范学院学报

2001, (03) 56-58

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

定理机器证明的图论法初探
A Preliminary Study of Machine Theorem Proving Based on Graph Theories

邵斌

摘要(Abstract):

机器定理证明是人工智能的重要分支学科之一 .定理的机器证明已经达到了相当成熟的水平 ,但有关利用图论方法进行定理的机器证明还不多见 .在这样的背景下 ,试图结合机器定理证明的经典方法 ,将图论思想引入进来 ,提出了一种初步的图论机器定理证明方法 ,解决了一类有关定理的机器证明问题 .

关键词(KeyWords): 定理机器证明;有向图;路;邻接矩阵

Abstract:

Keywords:

基金项目(Foundation):

作者(Author): 邵斌

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享