矛盾体分离规则相关硕士博士期刊学术论文 - 搜论网

矛盾体分离规则相关论文

一种基于矛盾体分离演绎的一阶逻辑自动定理证明器研究

自动推理是人工智能重要的组成部分,主要包括命题逻辑求解和一阶逻辑定理证明。一阶逻辑系统相比命题逻辑系统具有更丰富的表达能......

学位

自动推理一阶逻辑自动定理证明器浸透算法二元归结启发式策略矛盾体分离规则子句集预处理

多元协同演绎在一阶逻辑ATP中的应用

一阶逻辑是数理逻辑中重要的分支,对其逻辑公式的自动推理是人工智能领域重要的研究热点之一.目前一阶逻辑自动定理证明大多采用二......

期刊

数理逻辑人工智能定理证明二元归结矛盾体分离规则

看过本文同时还关注