广义归结相关论文
<正>王湘浩、刘叙华的广义归结方法在一阶逻辑中推广了Robinson的归结原理,使得可以将归结方法用于一种非子句形式的公式集-广义子......
自动程序设计是计算机科学中的重要研究领域,在人工智能的自动规划、机器人学等分支有重要应用。在程序理论方面,程序综合与程序验......
该文将广义归结推广到模态逻辑,给出模态广义双标记子句集的概念,提出模态广义双标记归结。可证明,任意命题模态公式集D不可满足当且仅......
1研究意义1.1机器智能需要研究不确定性环境中的自动推理第一,世界上存在大量各种不确定性。客观物理世界或人类主观事理世界或人类......
本文提出使程序分析的机械化效率得以提高的一种途径——广义归结,并证明了这一方法的正确性。更多还原......
本文使用C—PROLOG语言在SUN工作站上设计实现了基于广义归结和基于归结的两个定理机器证明系统GRM,RM,证明了《数学原理》中Part1:mathematicallogic中SectionA与SectionB中全部定理(350个).讨论GRM和......
本文指出了广义调解完备性证明中一个错误,并且给出了使广义调解完备的根据....
本文把广义RUE-NRF归结对E不可满足子句集是完备的推广到了配锁的广义子句集上....
在基于格蕴涵代数的格值逻辑系统框架下,笔者扩展了基于格值逻辑系统的α归结原理,将广义子句集上的归结扩展到一般广义子句集上,......
本文提出了NC调解方法,证明了NC对称调解与NC归结的结合及广义对称调解与广义归结的结合的线性演绎都是完备的。更多还原......
本文讨论了涵盖和强蕴涵之间的关系,给出并证明了强蕴涵是涵盖的条件,还证明了在广义归结中同时使用涵盖和强蕴涵做为删除策略仍是......
本文在广义λ-归结方法中引进删除策略,讨论了λ-蕴涵的若干性质,并证明:以λ-蕴涵为基础的删除策略不破坏广义λ-归结方法的完备......
本文针对广义归结原理实现时空间复杂度非常大的问题,通过实际分析广义归结方法实现时造成多余归结的实例,提出了几种优化方法,使......
设计了一个Horn集上基于广义归结方法的定理机器证明系统。在算法中使用广度优先与深度优先结合避免了传统归结的组合爆炸。分析了......