论文部分内容阅读
机器定理证明是人工智能的重要分支学科之一.定理的机器证明已经达到了相当成熟的水平,但有关利用图论方法进行定理的机器证明还不多见.在这样的背景下,试图结合机器定理证明的经典方法,将图论思想引入进来,提出了一种初步的图论机器定理证明方法,解决了一类有关定理的机器证明问题.
定理机器证明的图论法初探
【摘 要】
：
机器定理证明是人工智能的重要分支学科之一.定理的机器证明已经达到了相当成熟的水平,但有关利用图论方法进行定理的机器证明还不多见.在这样的背景下,试图结合机器定理证明
【机 构】
：
湖州师范学院计算机系
【出 处】
：
湖州师范学院学报
【发表日期】
：
2001年3期
其他文献
以头屯河流域近55年来径流量、降水和气温资料为基础,对流域径流对气候变化的响应进行研究分析。研究表明,近55年来,头屯河年径流量呈递减趋势。与上世纪60年代相比,90年代及
关于朱孝臧早年的行踪,由于史籍的缺载,历来都云雾不清.但根据朱氏早年生活的特殊历史环境,通过对其父朱光第仕履的详细考辨,则可以析理他早岁的大概行迹;并进而通过比较他与
近几年来,中国企业尤其是已经在国内取得竞争优势的龙头企业频频出海,通过海外并购获取优质版权、网络渠道,进行产业链上下游延伸,提升国际竞争力。身处投资行业,“风口”是
汛期城市洪水可直接导致交通瘫痪,时刻威胁居民生命财产安全,建立城市雨洪水监测预警系统是降低损失的重要手段。以河北某市为例,对SWMM系统产流原理进行分析,以便从根本上对