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