归结原理相关论文
基于归结原理的自动推理足人工智能领域中较为活跃的研究方向，基于归结原理的自动推理算法已经取得了一系列的研究成果。本文研究了......
本文根据接收到的信息和归结原理来产生决策模型，并采用动态的标准选取决策模型，同时利用模拟退火法对被选取的模型进行排序，使整体的......
在智慧城市发展中的驱动创新中，面临着诸多的不确定性信息，而这些大量的不确定信息处理是智慧城市发展中的一重要的中间环节。本......
自动推理是一门在给定知识及有关推理策略的前提下,研究用计算机帮助人们进行推理的学科.多种类逻辑及多种类谓词演算是经典一阶逻......
广义上,程序设计过程就是定理证明过程,因而程序综合与机器定理证明关系密切。通过一般情况下,构造性的证明过程才能抽取程序。归......
在人类认识世界的过程中,人们会不断地接受新的知识,随即人们的认知状态也会发生改变,有时人们遇到的某些新知识会与原来的知识发......
本文考虑十八元非链的格值命题逻辑系统L18P(X)下的归结方法.首先提出了基于超滤的归结原理,得到归结删除原理,讨论了格值逻辑公式......
该文旨在扼要介绍自动化定理证明(ATP)的发展历史与现状。其中,阐述了 ATP 的理论基础、基本原理和研究方向,列举了部分定理证明系......
专家系统的广泛应用,迫切需要较完善的知识库维护方法。本文讨论了Horn短句知识库协调性维护的有关问题,并借助于归结原理和Kowals......
归结原理是1965年由Robinson提出的一种重要的定理机器证明方法。1970年,Loveland和Luckham提出了线性归结,这是对归结原理的重要......
这是关于知识表示的又一篇综述文章,首先讨论了知识表示中的基本问题,接着介绍了知识表示研究的发展现况,目前存在的主要问题以及......
关于定理机器证明的归结原理已应用到人工智能的很多领域，各种改进方法也已经提出。模糊－神经网络是模糊逻辑与神经网络的融合，该文尝......
在我们生活的环境中，动态模糊事件是普遍存在的，而当今，随着计算机科学技术的发展，人们又试图用计算机来模拟这些具有“动态模糊性”的......
Baratella定义了正规谓词逻辑程序的模态完全化语义 ,并证明了该语义关于 SL DNF-归结的部分完备性 .本文首先给出了逻辑程序的模......
在自动定理证明中，我们发现一个卓有成效的证明方法——多余文字参数法．利用这一方法可以简单便捷地证明许多难以证明的各种推理策略......
根据接收到的信息和归结原理及解释方式产生决策模型，并采用动态标准选取决策模型，同时利用模拟退火法对被选取的模型进行排序，使整体......
非经典逻辑的研究一直是人工智能领域中非常受人关注的一个研究方向.目前,基于非经典逻辑的自动定理证明系统由于它加速了人工智能......
在自动推理理论与应用的研究中,命题逻辑系统中的方法和内容具有广泛的适用性.命题逻辑系统中的归结原理本质上存在组合问题,因此,......
格是一类重要的代数结构,现实世界中的很多现象都可以用格来刻画,尤其是不可比较性.而建立在格上的格值逻辑系统把已有多值逻辑的......
基于直觉模糊逻辑归结原理的一般形式，提出了子句(α，β)-可满足和(α，β)-归结式的概念，研究了它们的同可满足性，在直觉模糊逻辑系......
为优化基于格值逻辑的α-归结原理,将删除策略应用于α-语义归结方法,研究了基于格值逻辑的带有删除策略的α-语义归结方法.首先给......
神经-符号系统建立是为了将符号逻辑系统和联结主义系统进行统一,以实现符号运算和数值计算之间的对应和转化,因此构造出相应的联......
[摘 要] 求数列极限中有很多办法，给出一些常用的求解办法，并对夹逼准则做了详细论述，这个准则在求极限过程中有着重要的应用，而在......
[摘要]归结原理使用较广，是定理机器证明的理论基础。既可以用来证明一些目标公式和逻辑结论的成立，又可以用来求解应用问题的答案。......
基于谓词逻辑的归结原理是应用于人工智能和计算机科学中的一种理论知识,我们可以利用这种知识来解决实际生活中的一些问题.......
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。......
将谓词逻辑引入汽轮机故障分析系统中，首先将事实和规则化为与或形，接着采用最一般合一算法对子句集替换合一，最后采用归结原理对汽轮......
利用环境科学与工程学的专家知识,将各种重大环境污染事故的处理处置技术方案做成一个专家系统。开发了一个用于工业集群区重大环......
利用常规逻辑中的归结原理给出了命题组具值指派的相容性判定的一个算法，并在其中使用了删除策略以提高归结原理的效率；从而获得了确......
归结原理是定理机器证明中的一种基本技术.在知识工程的研究中,需要处理不确定和不精确的知识,本文讨论了采用可能性理论表示不确......
归结原理(resolution principle)是计算机自动推理的重要原理之一.将XML加入到使用归结原理的证明过程中,利用XML结构与语义自描述......
人工智能专家发现一个有趣的事实:对一些人们觉得易如反掌的事,计算机处理起来却显得十分笨拙,甚至无能为力。例如,出生不久的婴儿......
利用农业植物病理学的专家知识，将各种病虫害的诊断方法做成一个专家系统。该系统利用产生式规则推断症状群与疾病群的关系，利用Robi......
引言 “知识工程”一词最初是由斯坦福大学的费根鲍姆教授在1977年的“第五届人工智能国际会议”的演讲中提出的。他说:“知识工程......
语义归结方法是对归结原理的一种重要改进，能有效地提高归结推理的效率，讨论了格值逻辑系统的语义归结方法，并列出了语义归结方法的一......
人工智能原理中,基于一阶谓词逻辑下的归结推理方法可以在机器上实现"自动定理证明以及问题的求解",实际研究应用表明归结原理中的......
关于定理机器证明的归结原理已应用到人工智能的很多领域,同时提出了各种改进方法.其中,输入归结是一种非常好的推理方法,它对于Ho......
针对基于归结方法的自动推理过程中的化任一公式为可归约形式这一问题进行研究.简述了LF(X)及其中公式的相关概念,证明了对LF(X)中......
含参量瑕积分在数学分析中起着重要作用，能够应用于很多场合．基于此。本文首先给出二元函数的一致极限概念．从二元函数的一致极限的角......
Prolog语言采用一种特殊的合取范式形式来描述人工智能中所要求解的问题,这样一种知识表示方法所要求的知识推理技术必须具有机械......
Development of the Super High Angular Resolution Principle (SHARP) for coded-mask X-ray imaging is presented. We prove t......
基于格蕴涵代数的格值命题逻辑系统LP4(X)的相关概念和结果,给出了LP4(X)上的归结原理,并证明了其可靠性和完备性. 四值命题逻辑系......
归结演绎推理是一种在计算机上得到较好实现的基于归结原理的推理技术,介绍归结原理的基本思想以及它在自动推理中的应用。......
