归结原理相关论文
自动推理是一门在给定知识及有关推理策略的前提下,研究用计算机帮助人们进行推理的学科.多种类逻辑及多种类谓词演算是经典一阶逻......
广义上,程序设计过程就是定理证明过程,因而程序综合与机器定理证明关系密切。通过一般情况下,构造性的证明过程才能抽取程序。归......
在人类认识世界的过程中,人们会不断地接受新的知识,随即人们的认知状态也会发生改变,有时人们遇到的某些新知识会与原来的知识发......
非经典逻辑的研究一直是人工智能领域中非常受人关注的一个研究方向.目前,基于非经典逻辑的自动定理证明系统由于它加速了人工智能......
格是一类重要的代数结构,现实世界中的很多现象都可以用格来刻画,尤其是不可比较性.而建立在格上的格值逻辑系统把已有多值逻辑的......
[摘 要] 求数列极限中有很多办法，给出一些常用的求解办法，并对夹逼准则做了详细论述，这个准则在求极限过程中有着重要的应用，而在......
[摘要]归结原理使用较广，是定理机器证明的理论基础。既可以用来证明一些目标公式和逻辑结论的成立，又可以用来求解应用问题的答案。......
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。......
将谓词逻辑引入汽轮机故障分析系统中，首先将事实和规则化为与或形，接着采用最一般合一算法对子句集替换合一，最后采用归结原理对汽轮......
利用环境科学与工程学的专家知识,将各种重大环境污染事故的处理处置技术方案做成一个专家系统。开发了一个用于工业集群区重大环......
利用农业植物病理学的专家知识，将各种病虫害的诊断方法做成一个专家系统。该系统利用产生式规则推断症状群与疾病群的关系，利用Robi......
语义归结方法是对归结原理的一种重要改进，能有效地提高归结推理的效率，讨论了格值逻辑系统的语义归结方法，并列出了语义归结方法的一......
人工智能原理中,基于一阶谓词逻辑下的归结推理方法可以在机器上实现"自动定理证明以及问题的求解",实际研究应用表明归结原理中的......
关于定理机器证明的归结原理已应用到人工智能的很多领域,同时提出了各种改进方法.其中,输入归结是一种非常好的推理方法,它对于Ho......
针对基于归结方法的自动推理过程中的化任一公式为可归约形式这一问题进行研究.简述了LF(X)及其中公式的相关概念,证明了对LF(X)中......
含参量瑕积分在数学分析中起着重要作用，能够应用于很多场合．基于此。本文首先给出二元函数的一致极限概念．从二元函数的一致极限的角......
Prolog语言采用一种特殊的合取范式形式来描述人工智能中所要求解的问题,这样一种知识表示方法所要求的知识推理技术必须具有机械......
基于格蕴涵代数的格值命题逻辑系统LP4(X)的相关概念和结果,给出了LP4(X)上的归结原理,并证明了其可靠性和完备性. 四值命题逻辑系......
归结演绎推理是一种在计算机上得到较好实现的基于归结原理的推理技术,介绍归结原理的基本思想以及它在自动推理中的应用。......
总结了在人工智能的学习和教学中应着重理解和掌握的几点,以提高学生的学习能力和教学效果.......
本文基于Rough集理论定义了算子η及其合成运算，并用它作用于Rough逻辑公式，从而得到了带算子的Rough逻辑．讨论了这种逻辑公式的真值......
主要讨论DFL谓词描述下的归结推理方法，它是一种机器化的可在计算机上加以实现的推理方法.首先介绍DFL命题下的归结方法，最后介绍DFL......
次协调逻辑用于解决在含有矛盾的系统中如何进行有效推理的问题,基于扩充真值的APC是对经典谓词演算的扩展,APC归结能够用于次协调......
语义查询是一种完全不同于传统的基于查询树的查询技术,实现语义查询优化的关键是寻找与给定查询有关的完整性约束条件;谓词逻辑中......
XML渐已成为Web上数据表示和交换的通用语言。该文提出了一种基于XML的智能决策支持系统．用XDD语言描述问题和决策系统中的知识，并通......
针对可扩展标识语言(extensible markup language，XML)与说明描述理论结合的XDD(XML declarative deseripriot)语言是非过程的，只提......
非经典逻辑的研究一直是人工智能领域中一个非常引人关注的研究方向。目前，基于非经典逻辑的自动定理证明理论和技术不断发展，并已得......
人工智能不仅在于知识表示，还体现在对知识的依赖上，即对于知识的利用，利用已有的知识进行分析、判断和预测。从逻辑的角度来看，对知识......
XML已成为Web上数据表示和交换的通用语言。然而作为一种描述文档结构的语言，XML对语义的表达和处理能力不足，难以建立智能应用系统......
本文分析了用归结原理进行问题求解的方法，并对非确定性问题提出了三种求解方法。...
人类在处理决策、评估、风险分析、信息检索等问题中会遇到大量的不确定性信息,本文基于格蕴涵代数,用语言真值去处理具有模糊性和......
极限论是《数学分析》的基础,求极限是《数学分析》中最基本的运算之一,其方法多变,技巧性强.本文通过实例对极限运算中常出现的一......
