论文部分内容阅读
机器定理证明是人工智能的重要分支学科之一.定理的机器证明已经达到了相当成熟的水平,但有关利用图论方法进行定理的机器证明还不多见.在这样的背景下,试图结合机器定理证明的经典方法,将图论思想引入进来,提出了一种初步的图论机器定理证明方法,解决了一类有关定理的机器证明问题.
定理机器证明的图论法初探
【摘 要】
：
机器定理证明是人工智能的重要分支学科之一.定理的机器证明已经达到了相当成熟的水平,但有关利用图论方法进行定理的机器证明还不多见.在这样的背景下,试图结合机器定理证明
【机 构】
：
湖州师范学院计算机系
【出 处】
：
湖州师范学院学报
【发表日期】
：
2001年3期
其他文献
以头屯河流域近55年来径流量、降水和气温资料为基础,对流域径流对气候变化的响应进行研究分析。研究表明,近55年来,头屯河年径流量呈递减趋势。与上世纪60年代相比,90年代及
随着新课程的不断改革，人们对于小学语文也越来越重视，但不仅如此，我们都知道，小学语文是一门很难教授的科目。一方面，由于学生年纪较小，注意力难以集中，又好动，很难真正的进行课堂的
现阶段随着经济社会的不断发展与进步，进而促进了我国教育行业的不断发展与创新。在教育行业不但发展与创新的过程中，小学教育作为教育的基础段正在引起国家和社会的高度重视。
在初中地理课堂教学中，由于受传统教育理念的束缚，造成了地理课堂教学质量低下的问题。就这一问题，我们积极引入高效课堂教学理念进行地理教学，取得了良好的成效。高效的地理课堂
介绍了韶关发电厂DG1025／18．2－Ⅱ10型“W”火焰锅炉燃烧技术特点及“W”型火焰锅炉冷态试验模化技术，根据其火焰为“W”型和燃烧对称的燃烧特点，对该炉的冷态试验内容与方法进行了
英语作为一门语言类型的学科，在学习的过程中感到有些吃力是很正常的，刚接触一门外语，不论是发音还是单词的书写，都存在着这样或者那样的问题，因此在教学活动中教师要采用先进的教
课堂教学面对的是独立、有个性、有思维的学生，课堂教学设计应适应学生的发展，应随“学情”的变化而变化。课堂教学设计的成效如何，完全取决于教师对教材的理解、对学生情况的了
关于朱孝臧早年的行踪,由于史籍的缺载,历来都云雾不清.但根据朱氏早年生活的特殊历史环境,通过对其父朱光第仕履的详细考辨,则可以析理他早岁的大概行迹;并进而通过比较他与
近几年来,中国企业尤其是已经在国内取得竞争优势的龙头企业频频出海,通过海外并购获取优质版权、网络渠道,进行产业链上下游延伸,提升国际竞争力。身处投资行业,“风口”是
汛期城市洪水可直接导致交通瘫痪,时刻威胁居民生命财产安全,建立城市雨洪水监测预警系统是降低损失的重要手段。以河北某市为例,对SWMM系统产流原理进行分析,以便从根本上对