α-归结域相关论文
该文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP(X)的研究工作,对格蕴涵代数以及格值命题逻辑......
格值命题逻辑系统LP(X)中广义文字的α-归结域的研究,是基于格值命题逻辑系统LP(X)的α-归结原理研究的继续.该逻辑系统的逻辑真值......
人工智能领域中的一个极具有挑战性的研究方面是自动推理(定理机器证明),归结自动推理是自动推理的重要研究方向之一,其研究成果已......
自动推理(定理机器证明)是人工智能领域基本课题之一,而归结自动推理是“自动推理(定理机器证明)”的一种有效方法,其研究成果可以......
