共查询到20条相似文献,搜索用时 0 毫秒
1.
本文将一阶逻辑中的锁归结方法和广义锁归结方法推广到布尔算子Fuzzy逻辑中,并且证明了布尔算子Fuazzy逻辑中的锁归结方法和一种特殊的广义锁归结方法是广义完备的. 相似文献
2.
3.
算子Fuzzy逻辑和λ—归结方法 总被引:6,自引:1,他引:6
本文提出了算子Fuzzy逻辑,并给出了这种逻辑系统中公式的一些简单性质,在算子Fuzzy逻辑中,提出了λ-恒真和λ-恒假的概念,提出了λ-归结方法。证明了:对于任一个λ-恒假公式,使用λ-归结方法,都可以在有限步内,给以判定。 相似文献
4.
算子Fuzzy逻辑及其归结推理的改进 总被引:10,自引:1,他引:10
在文献[3],[7]基础上,重新定义了算子格中的算子对格元素的作用,并引进了结合算子格的概念,改进了算子Fuzzy逻辑。为限定词的表示提供了一个模型。在新的系统中,引进了α-解释和λ_α-恒假概念,从而引进λ_α-归结方法。 相似文献
5.
算子Rough逻辑及其归结原理 总被引:6,自引:2,他引:6
本文基于Rough集理论定义了算子η及其合成运算,并用它作用于Rough逻辑公式,从而得到了带算子的Rough逻辑.讨论了这种逻辑公式的真值、语义模型、性质、归结原理及完备性定理和它的证明. 相似文献
6.
7.
主要讨论了一种只包含动态模糊算子和动态模糊文字的算子动态模糊逻辑系统,介绍了该系统的逻辑性质,在系统中定义了其λ-归结。 相似文献
8.
在基于具有某种程度的不一致性的知识进行推理的过程中,为了消除知识的不一致性,只能将这些知识看成假说,并通过对假说进行修正以重新获得一个一致的假说。文中基于布尔算子模糊逻辑,给出了一种新的假说修正方法,这种方法能够在一定程度上更多地保留被修正知识的合理成分,以便在以后有机会得到恢复。 相似文献
9.
本文提出并比较了在信度语义下,计算算子模糊逻辑中公式(集)模糊程度的3种方法——归结法、广义归结法和TABLEAU方法. 相似文献
10.
主要讨论DFL谓词描述下的归结推理方法,它是一种机器化的可在计算机上加以实现的推理方法。首先介绍DFL命题下结方法。最后介绍DFL的归结原理及方法。 相似文献
11.
归结方法是定理自动证明的重要工具。为了简化直觉模糊命题逻辑的归结过程,基于直觉模糊命题逻辑归结原理的一般形式,提出了子句(αβ)-可满足和(αβ)-归结式的概念。研究了广义子句与其归结式的可满足性。在直觉模糊命题逻辑系统中给广义子句配锁,规定在做归结时各子句中被消去文字在该子句中的序号最小,由此建立了(αβ)-广义锁归结方法,并证明了该方法的可靠性和完备性。给出了直觉模糊逻辑的广义锁归结算法步骤,并通过实例说明了该方法的有效性。 相似文献
12.
13.
G-逻辑及其归结推理 总被引:19,自引:0,他引:19
该文提出了一种粒-逻辑,简记为G-逻辑,并构造了这种逻辑的近似推理系统,定义了G-公式、G-子句和G-文字,提出了这种逻辑的G-归结方法.G-归结的完备性定理也被证明了.这种逻辑公式的结构是有序二元对,第一元是断言;第二元是对应于这个断言的可定义集或不可定义域集的近似集.这种逻辑是定义在信息系统IS=(U,A)上,所以其公式中的个体变量被赋予U上的实体.公式中的命题或谓词被解释为属性集A上的属性,因此命题或谓词的意义集是U上的一个子集、属性及其意义集一起构成的二元对,被称做一个基本粒(granule).而这种基本粒被当做这种逻辑中的一个G-原子,用G逻辑联结词组合这些G-原子便得到这种逻辑中的G-公式.公式的可满足性是其相应断言的意义集不空.当这种公式的定义域集不可定义时,则可将它移到其定义域集的Rough下和上近似集上去讨论.G-逻辑的提出为经典逻辑的应用开辟了新途径,也为处理非规范知识提供了较好的理论工具.G-逻辑的运算涉及整体到局部的分解和局部到整体的合并,以此提供了AI中问题求解的新思路.G-逻辑也是Rough逻辑的新扩充,其真值概念及其运算都不同于经典逻辑,也不同于其它非标准逻辑.这种逻辑中的演算既是逻辑的,又是集合论的.于是当处理真值及其运算时适合使用逻辑方法;而处理归结中的文字合一时可用集合论方法,这样可避免复杂的文字合一计算.最后,用实例说明了这种逻辑的G-归结方法的可行性和有效性,并给出了G-逻辑中机器定理证明的相关定理,讨论了G-归结反演的完备性和完全性. 相似文献
14.
本文提出并比较了在信度语义下,计算算子模糊逻辑中公式(集)模糊程度的3种方法--归结法、广义归结法和TABLEAU方法。 相似文献
15.
归结原理(resolution principle)是计算机自动推理的重要原理之一。将XML加入到使用归结原理的证明过程中,利用XML结构与语义自描述的特性,简化归结过程的计算机实现,并给出相应基于XML的算法。 相似文献
16.
归结原理(resolution principle)是计算机自动推理的重要原理之一.将XML加入到使用归结原理的证明过程中,利用XML结构与语义自描述的特性,简化归结过程的计算机实现,并给出相应基于XML的算法. 相似文献
17.
刘叙华 《计算机研究与发展》1980,(9)
一、LI-归结原理定义:设I是一个解释,已配锁的有限子句序列(E_1,…,E_q,N),q≥1,称为关于I的锁语义互撞,简称LI-互撞,当且仅当E_1,…,E_q,N满足下面条件: 1)E_1,…,E_q在I下为假, 2)令R_1=N,对每个i=1,…,q,存 相似文献
18.
自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。语义归结是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。为了提高基于格蕴涵代数的格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理。首先给出了格值一阶逻辑系统中的α-语义归结概念和α-语义归结演绎概念,接着讨论了格值一阶逻辑系统的α-语义归结方法,并证明了其可靠性和条件完备性,最后通过实例说明了其有效性。 相似文献
19.
20.
一、序言 由于教学工作需要,本人在参看了贵刊98年第4期《硬盘逻辑锁技术研究及应用》与99年第3期《解开硬盘逻辑死锁的一种有效方法》的文章之后,决定以同类方法尝试一下,结果未获得成功,又“苦于”没有KV300 L++版,不得不自己做一个硬盘逻辑锁。在制作过程中发现,仅仅只做循环链表是不够的,并不能锁住硬盘。以下是本人经过多次实验后,总结出的一套加锁和解锁的方法,以供大家参考。硬盘逻辑锁的原理请参见以上文章。 相似文献