子句集相关论文
人工智能原理中,基于一阶谓词逻辑下的归结推理方法可以在机器上实现"自动定理证明以及问题的求解",实际研究应用表明归结原理中的......
提出一种基于路径搜索的自动推理算法.除了采取预处理外,还采用了动态的删除策略,使对大部分路径的搜索变成对一条路径搜索.可快速......
给出基于神经网络的归结方法。首先将子句集S表示为δ形式，并且用算子对(⊙，+)引入两种类型的神经元；然后用这两种神经元构造子句集S......
检测和消除命题逻辑公式中的冗余文字,是人工智能领域广泛研究的基本问题。针对命题逻辑的子句集中子句的划分,结合冗余子句和冗余......
可满足性问题是计算机和人工智能领域内的一个重要的问题，是第一个被证明是NPC的问题。本文主要把子句集进行分类，给出翻转定义、简......
命题逻辑公式的可满足性问题(SAT)是计算机科学和人工智能中一个重要问题。它是第一个被证明了的NP完全问题,由Stephen Cook于1971......
逻辑程序设计语言的并行性是研究和开发并行推理机的重要内容之一。本文介绍了逻辑型语言的一般概念和特点,比较和分析了被 ICOT ......
定理机器证明是通过计算机实现定理自动证明。自上世纪五十年代以来定理自动证明一直是计算机科学研究的热点之一,在数学、硬件测......
