多元α-归结原理相关论文
进一步深入研究了基于格蕴涵代数的格值命题逻辑系统LP（X）的多元α-归结原理的基本理论,给出了基于LP（X）的多元α-归结演绎中参与多元......
进一步深入研究了基于格蕴涵代数的格值一阶逻辑系统LF（X）的多元α-归结原理的基本理论,给出了在基于LF（X）的多元α-归结演绎中参与多......
自动推理(定理机器证明)是人工智能领域基本课题之一,而归结自动推理是“自动推理(定理机器证明)”的一种有效方法,其研究成果可以......
