子句集预处理相关硕士博士期刊学术论文 - 搜论网

子句集预处理相关论文

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

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

学位

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

基于目标演绎距离的一阶逻辑子句集预处理方法

一阶逻辑定理证明是人工智能的核心基础,研究一阶逻辑自动定理证明器的相关理论和高效的算法实现具有重要的学术意义。当前一阶逻......

期刊

一阶逻辑人工智能子句集预处理演绎距离冗余子句

看过本文同时还关注