定理自动证明相关论文
前提选择是提高定理自动证明成功率的关键技术,可以根据证明目标的相关性选择最有可能成功证明当前猜想的引理.已有的前提选择算法......
广义上,程序设计过程就是定理证明过程,因而程序综合与机器定理证明关系密切。通过一般情况下,构造性的证明过程才能抽取程序。归......
格是一类重要的代数结构,现实世界中的很多现象都可以用格来刻画,尤其是不可比较性.而建立在格上的格值逻辑系统把已有多值逻辑的......
非经典逻辑的研究一直是人工智能领域中一个非常引人关注的研究方向。目前，基于非经典逻辑的自动定理证明理论和技术不断发展，并已得......
