二元归结相关论文
自动推理是人工智能重要的组成部分,主要包括命题逻辑求解和一阶逻辑定理证明。一阶逻辑系统相比命题逻辑系统具有更丰富的表达能......
一阶逻辑是数理逻辑中重要的分支,对其逻辑公式的自动推理是人工智能领域重要的研究热点之一.目前一阶逻辑自动定理证明大多采用二......
Prover9证明器只采用二元归结方法,是一种静态的、局部的推理规则。基于矛盾体分离规则,提出了一种多元动态演绎算法,采用整体式演......
