归结原理相关论文
自动推理是一门在给定知识及有关推理策略的前提下,研究用计算机帮助人们进行推理的学科.多种类逻辑及多种类谓词演算是经典一阶逻......
广义上,程序设计过程就是定理证明过程,因而程序综合与机器定理证明关系密切。通过一般情况下,构造性的证明过程才能抽取程序。归......
在人类认识世界的过程中,人们会不断地接受新的知识,随即人们的认知状态也会发生改变,有时人们遇到的某些新知识会与原来的知识发......
非经典逻辑的研究一直是人工智能领域中非常受人关注的一个研究方向.目前,基于非经典逻辑的自动定理证明系统由于它加速了人工智能......
格是一类重要的代数结构,现实世界中的很多现象都可以用格来刻画,尤其是不可比较性.而建立在格上的格值逻辑系统把已有多值逻辑的......
[摘 要] 求数列极限中有很多办法，给出一些常用的求解办法，并对夹逼准则做了详细论述，这个准则在求极限过程中有着重要的应用，而在......
[摘要]归结原理使用较广，是定理机器证明的理论基础。既可以用来证明一些目标公式和逻辑结论的成立，又可以用来求解应用问题的答案。......
