Horn子句集相关论文
在自动推理理论与应用的研究中,命题逻辑系统中的方法和内容具有广泛的适用性.命题逻辑系统中的归结原理本质上存在组合问题,因此,......
给出了基于神经网络的单元归结算法．首先将子句集S表示为δ形，并且用算子对(⊙，(+О))引入两种类型的神经元，然后用这两种神经元构造子......
