共查询到20条相似文献,搜索用时 15 毫秒
1.
为了克服经典一维模糊逻辑系统的不适应性,提出了扰动模糊命题逻辑的概念.用二维扰动模糊命题逻辑最大子代数I2R的有限子集I2Rn取代I2R,并在其中引入Σ-广义矛盾式理论.结果表明:任意公式至多经过2n-μ+δ次就可降级为矛盾式;证明了矛盾式表示定理,表明关于一种有限值扰动模糊命题逻辑系统而言的广义矛盾式必可升降级为关于另一有限值扰动模糊命题逻辑系统而言的矛盾式.为模糊信息处理的方法和应用提供了新的理论基础. 相似文献
2.
通过对区间值模糊命题逻辑系统的公式进行部分赋值,讨论了区间值模糊命题逻辑∑-广义拟重言式,并且通过定义I2n^2和I2(n+1)^2中的可达拟重言式,证明了拟重言式类类互异定理,同时在∑-广义拟重言式之间建立了一种升级算法. 相似文献
3.
有限扰动模糊逻辑代数及其广义重言式 总被引:8,自引:0,他引:8
讨论了有限扰动模糊逻辑代数,给出了判别其子代数的充要条件:将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限扰动模糊逻辑系统I^2N中,证明了在I^2n中不存在(1,0)-重言式,广义重言不随系统的增大而增多,广义重言式前缀是不灵敏的。 相似文献
4.
吴洪博 《四川大学学报(自然科学版)》2003,40(6):997-1001
与Goedel系统中广义重言式之间的一种升级算法相对应,作者给出了Goede1系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了Goedel系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对Goedel系统的研究提供了帮助。 相似文献
5.
区间值模糊命题逻辑的广义拟重言式及其分类 总被引:2,自引:1,他引:1
通过定义规范区间值模糊命题逻辑的→s蕴涵算子,讨论了区间值模糊命题逻辑广义拟重言式的分类,获得了与王国俊的一维赋值格广义重言式理论类似的结果。 相似文献
6.
定义了直觉模糊命题逻辑公式的概率α-真度,讨论了公式的σ-真度与σ-相似度之间的关系,并证明了基于σ-真度的公式的推理规则。最终获得与王国俊教授关于一维真值逻辑公式的积分真度理论类似的结果。 相似文献
7.
将模糊命题逻辑系统中的∑-(α-重言式)理论与计量逻辑学中的真度理论相结合,在n-值Lukasievicz模糊命题逻辑系统Ln中引入了公式相对于有限理论的∑г-模糊真度理论,讨论了其中的主要性质。特别地证明了真度关系:τг(A)+τг(A—B)≤1+τг(B),并利用这一关系在模糊命题演算系统Ln中的公式集F(S)上引入相对于有限理论的Г-伪距离,从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。 相似文献
8.
本文讨论Gainse-Rescher逻辑系统中序稠密子代数的广义矛盾式,并利用可达广义矛盾式概念在Gr的序稠密子代数中给出公式集F(S)的一个分划。 相似文献
9.
10.
吴洪博 《四川大学学报(自然科学版)》2003,(6)
与G del系统中广义重言式之间的一种升级算法相对应,作者给出了G del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G del系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对G del系统的研究提供了帮助. 相似文献
11.
将赋值格取为单位区间并将二元关系R模糊化,研究了模糊模态逻辑系统MLuk,然后将其赋值格离散化研究了多值模态逻辑系统MLn;证明了在MLn中,对任一可能的赋值α都存在可达α-重言式;在MLuk中对任一有理数α∈[0,1]都存在可达α-重言式;指出了在风系统R0起关键作用的升级算法对MLn系统已不再适用,并分析了其原因。 相似文献
12.
将模糊命题逻辑系统中的∑-(α-重言式)理论与计量逻辑学中的真度理论相结合,在n-值Lukasievicz模糊命题逻辑系统(L)n中引入了公式相对于有限理论的∑Γ-模糊真度理论,讨论了其中的主要性质.特别地证明了真度关系:τΓ(A) τΓ(A→B)≤1 τΓ(B),并利用这一关系在模糊命题演算系统(L)n中的公式集F(S)上引入相对于有限理论的Γ-伪距离, 从而为在模糊命题逻辑系统(L)n中建立相对于有限理论的近似推理框架奠定了基础. 相似文献
13.
介绍了~$\alpha-\beta$~广义逆的一些性质, 利用这些性质, 分三种情况讨论了α-β 广义逆的 代数扰动理论, 并给出了该种广义逆的代数扰动的表达式. 相似文献
14.
在n值Lukasiewicz命题逻辑系统中运用公式的矛盾度概念,讨论了公式矛盾度的部分重要性质,给出了Lukasiewicz命题逻辑系统中的矛盾度并推理规则,进而讨论了矛盾度与推理规则之间的关系. 相似文献
15.
G(o)del系统中一种降级算法及性质 总被引:4,自引:0,他引:4
吴洪博 《四川大学学报(自然科学版)》2003,40(6)
与G(o)del系统中广义重言式之间的一种升级算法相对应,作者给出了G(o)del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G(o)del系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对G(o)del系统的研究提供了帮助. 相似文献
16.
将赋值格取为单位区间并将二元关系R模糊化,研究了模糊模态逻辑系统M■uk,然后将其赋值格离散化研究了多值模态逻辑系统M■n;证明了在M■n中,对任一可能的赋值α都存在可达α-重言式;在M■uk中对任一有理数α∈[0,1]都存在可达α-重言式;指出了在R0系统中起关键作用的升级算法对M■n系统已不再适用,并分析了其原因。 相似文献
17.
研究了半群直积下的主广义模糊α-理想在满自同态映射等环境下的性质,并利用这些性质对两个主广义模糊α-理想是否可比较给出了一个等价条件. 相似文献
18.
引入和研究了一类广义混合拟似变分不等式组,借助η-次微分及η-逼近映射,给出了求此类变分不等式组的近似解的扰动η-逼近算法,并证明了此类变分不等式组的解的存在性及算法的强收敛性。 相似文献
19.
用扰动逼近算法解广义混合拟-似变分包含 总被引:1,自引:0,他引:1
马昌威 《重庆师范大学学报(自然科学版)》2008,25(4):37-42
本文在无限维实Hilbert空间中引入和研究了一类广义混合拟-似变分包含问题GMQLVIP(A,B,C,D,F,η,φ),在η-次微分和η-近似映象等概念的基础上,证明这类广义混合拟-似变分包含问题的一个等价命题,即设x∈H,a∈A(g(x)),b∈B(x),c∈C(x),d∈D(x),f∈F(x),则(x,a,b,c,d,f)为问题GMQLVIP的解当且仅当(x,a,b,c,d,f)满足关系g(x)=JΔφ(·,f)ρ(g(x)-ρ(a-N(b,c,d) w)),提出了求该变分包含近似解的扰动η-逼近算法,并且该算法的强收敛性也被讨论和分析,所得结果改进和推广了在这个领域最近的一些结果. 相似文献
20.
引入和研究了一类广义混合拟-似变分包含问题,借助η-次微分和η-近似映象,提出了求该变分包含近似解的扰动η-逼近算法,并且该算法的强收敛性也被讨论和分析,所得结果改进和推广了在这个领域最近的一些结果. 相似文献