切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
定理机器证明的图论法初探
定理机器证明的图论法初探
来源 :湖州师范学院学报 | 被引量 : 0次 | 上传用户:yl2590
【摘 要】
:
机器定理证明是人工智能的重要分支学科之一.定理的机器证明已经达到了相当成熟的水平,但有关利用图论方法进行定理的机器证明还不多见.在这样的背景下,试图结合机器定理证明
【作 者】
:
邵斌
【机 构】
:
湖州师范学院计算机系
【出 处】
:
湖州师范学院学报
【发表日期】
:
2001年3期
【关键词】
:
定理机器证明
有向图
路
邻接矩阵
人工智能
mechanical theorem proving
directed graph
path
adjacen
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
机器定理证明是人工智能的重要分支学科之一.定理的机器证明已经达到了相当成熟的水平,但有关利用图论方法进行定理的机器证明还不多见.在这样的背景下,试图结合机器定理证明的经典方法,将图论思想引入进来,提出了一种初步的图论机器定理证明方法,解决了一类有关定理的机器证明问题.
其他文献
气候变化对头屯河流域径流的影响研究
以头屯河流域近55年来径流量、降水和气温资料为基础,对流域径流对气候变化的响应进行研究分析。研究表明,近55年来,头屯河年径流量呈递减趋势。与上世纪60年代相比,90年代及
期刊
径流
气候变化
M-K检验
头屯河
小学语文教学中如何优化课堂情境
随着新课程的不断改革,人们对于小学语文也越来越重视,但不仅如此,我们都知道,小学语文是一门很难教授的科目。一方面,由于学生年纪较小,注意力难以集中,又好动,很难真正的进行课堂的
期刊
小学语文
教学优化
课堂情境
浅谈小学语文课堂教学中赞扬语的运用
现阶段随着经济社会的不断发展与进步,进而促进了我国教育行业的不断发展与创新。在教育行业不但发展与创新的过程中,小学教育作为教育的基础段正在引起国家和社会的高度重视。
期刊
小学语文
课堂教学
赞扬语
应用
谈初中地理高效课堂的构建策略
在初中地理课堂教学中,由于受传统教育理念的束缚,造成了地理课堂教学质量低下的问题。就这一问题,我们积极引入高效课堂教学理念进行地理教学,取得了良好的成效。高效的地理课堂
期刊
初中地理
高效课堂
构建
DG1025/18.2型“W”火焰锅炉冷态试验
介绍了韶关发电厂DG1025/18.2-Ⅱ10型“W”火焰锅炉燃烧技术特点及“W”型火焰锅炉冷态试验模化技术,根据其火焰为“W”型和燃烧对称的燃烧特点,对该炉的冷态试验内容与方法进行了
期刊
DG1025/18.2型
“W”火焰锅炉
冷态试验
发电厂
Wfiring boiler
combustion technology
cold test
试析提升初中英语作文写作教学策略
英语作为一门语言类型的学科,在学习的过程中感到有些吃力是很正常的,刚接触一门外语,不论是发音还是单词的书写,都存在着这样或者那样的问题,因此在教学活动中教师要采用先进的教
期刊
提升
初中英语
作文
写作教学
策略
浅析初中数学教学设计新思路
课堂教学面对的是独立、有个性、有思维的学生,课堂教学设计应适应学生的发展,应随“学情”的变化而变化。课堂教学设计的成效如何,完全取决于教师对教材的理解、对学生情况的了
期刊
初中教学
数学创新
教学课堂
教学设计
新思路
朱孝臧早年行踪及他与王鹏运交游之始考
关于朱孝臧早年的行踪,由于史籍的缺载,历来都云雾不清.但根据朱氏早年生活的特殊历史环境,通过对其父朱光第仕履的详细考辨,则可以析理他早岁的大概行迹;并进而通过比较他与
期刊
朱孝臧
早年
行踪
朱光第
王鹏运
海外并购:新常态下的文化产业投资进阶之路
近几年来,中国企业尤其是已经在国内取得竞争优势的龙头企业频频出海,通过海外并购获取优质版权、网络渠道,进行产业链上下游延伸,提升国际竞争力。身处投资行业,“风口”是
期刊
海外并购
产业投资
文化
国际竞争力
龙头企业
竞争优势
中国企业
网络渠道
某市雨洪水监测预警系统设计及应用分析
汛期城市洪水可直接导致交通瘫痪,时刻威胁居民生命财产安全,建立城市雨洪水监测预警系统是降低损失的重要手段。以河北某市为例,对SWMM系统产流原理进行分析,以便从根本上对
期刊
SWMM模型
城市
雨水监测
预警
设计
SWMM model
city
rainwater monitoring
early warning
design
与本文相关的学术论文