格值逻辑系统相关论文
该文从格蕴涵代数及其对应的格值逻辑系统ＬＰ（Ｘ）出发，给出了格蕴涵代数的一些例子。并通过与一些常见推理及蕴涵算子的比较，分析讨论了ＬＰ（Ｘ）逻辑......
为了在基于格蕴涵代数的格值逻辑系统中构造行之有效的归结证明算法，该文探讨了经典归结及一些扩充的模糊逻辑的归结方法的局限性，并......
为了处理在不确定性环境下的自动演绎，本文重点研究基于自动推理理论的推理方法，其理论是真值定义在格蕴涵代数结构上格值逻辑系......
模型论是数理逻辑的主要分支学科之一，是研究形式语言及其解释（模型）之间关系的理论。作为格值逻辑的一个方面，一阶逻辑的格值模型论已......
格值逻辑系统为智能信息处理提供了一种逻辑基础.格蕴涵代数作为一种重要的逻辑代数，为格值逻辑和不确定性推理的研究提供了一种理......
本文将格与蕴涵代数结合在一起，建立了格蕴涵代数，并讨论了它的一些基本性质，为从语义的角度研究格值逻辑系统奠定了必要的基础。......
自动推理是人工智能研究的一个重要内容，基于归结原理的自动推理是自动推理研究的重要分支。基于语言真值格蕴涵代数的格值逻辑系统......
多值逻辑是人工智能中一个重要的研究方向。为了进一步深入研究多值逻辑，特别是真值基于格上的多值逻辑，文献「１」提出并提建立了格蕴......
讨论格蕴涵代数的一些格论性质,证明不存在含中界元的非链的有限格蕴涵代数,为进一步讨论由语言真值构成的格蕴涵代数的结构提供条......
给出了一般（2，1，0，0）型代数（L，→^*0,1)成为格蕴涵代数的充要条件，证明了在有限链及非全序四元格上只有一种格蕴涵代数，且不存在非全序五元......
人工智能领域中的一个极具有挑战性的研究方面是自动推理(定理机器证明),归结自动推理是自动推理的重要研究方向之一,其研究成果已......
关于不确定性信息处理的研究是当前人工智能领域的一类重要的研究内容。为了处理不确定性信息，人们发展了各种相关的工具和方法，也形......
自动推理(定理机器证明)是人工智能领域基本课题之一,而归结自动推理是“自动推理(定理机器证明)”的一种有效方法,其研究成果可以......
提出一种利用神经逻辑单元动态地构造神经网络的算法来对一类格值逻辑系统(L4(X))中的逻辑公式进行计算.本方法可以对逻辑公式的原......
