共查询到18条相似文献,搜索用时 78 毫秒
1.
逻辑系统G3中命题的D-条件真度与近似推理 总被引:4,自引:1,他引:3
崔美华 《山东大学学报(理学版)》2010,45(11):52-58
基于条件概率的思想,利用赋值集的随机化方法,在三值Gdel命题逻辑系统中引入公式的D-条件真度,证明了D-条件真度的MP规则和HS规则。引入公式间的D-条件相似度和D-条件伪距离,建立了D-条件逻辑度量空间,推导出D-条件伪距离的若干性质,证明了D-逻辑度量空间中二元运算“∨”,“∧”,“→”关于D-条件伪距离的连续性。在D-条件逻辑度量空间中提出了三种不同类型的近似推理模式并研究了它们之间的关系。 相似文献
2.
3.
进一步讨论了度量Boole代数的性质.给出了度量Boole代数中一个元素到一个滤子的距离刻画,以及不同滤子之间距离的刻画.作为应用,给出了逻辑度量空间(F(S),ρ)中一个公式到一个г推论之集以及不同T推论之集问的距离描述. 相似文献
4.
基于Vague(值)集间的相似度量的公理化定义,给出两个新的Vague(值)集间加权相似度量公式,细化了线性插值法进行近似推理的过程,并应用一个新加权相似度量公式进行推理,实例表明近似推理是可行的. 相似文献
5.
左卫兵 《山东大学学报(理学版)》2012,47(6):121-126
在赋值格为[0,1]的模糊逻辑系统L*中,基于条件概率的思想和赋值集的随机化方法提出了公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论。 相似文献
6.
二值逻辑的D-条件真度理论 总被引:4,自引:2,他引:2
文章在二值命题逻辑中公式的D-随机真度和条件真度的基础上,在D-逻辑度量空间(F(S),ρD)提出了D-条件真度的概念,同时讨论了D-条件真度的有关性质,并引入了基于Γ的矛盾式与重言式的概念和公式A与B基于Γ逻辑等价的概念;进一步给出了公式间D-条件相似度和D-条件逻辑伪距离的概念,同时讨论了它们的性质。 相似文献
7.
8.
给出一般D-度量空间2个自映射的公共不动点定理,所得结论推广了现有文献中的主要结果。 相似文献
9.
提出了规则中命题加权的真值计算方法及其约束条件,给出了加权的产生式规则的表示形式,定义了一个新的相似度量的加权运算和结论的加权组合方法.在此基础上提出了一种新的基于相似度量的加权近似推理方法. 相似文献
10.
基于条件概率的思想,利用赋值集的随机化方法,在四值非全序逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则.引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论. 相似文献
11.
汪遐昌 《四川师范大学学报(自然科学版)》1997,20(3):40-43
设X为具有性质(C)和(P)的凸度量空间,K是X的非空凸子集,TK→2X使得x→d(x,Tx)是1.s.c.若inf{d(x,Tx)|x∈K}=0,且x,y∈K,λ∈[0,1],u=W(x,y,λ)有d(u,Tu)≤Φ(max{d(x,Tx),d(y,Ty)}).这里ΦR+→R+满足条件Φ(0)=0,在0的右边不减和连续,则T在K上有不动点.它推广了T.H.Chang和C.L.Yen(1989)在Banach空间中的结果 相似文献
12.
13.
14.
15.
度量空间与拓扑空间乘积上映射的不动点定理 总被引:1,自引:0,他引:1
陈肇姜 《南京大学学报(自然科学版)》1990,(4)
本文利用作者[1]的结果给出度量空间与拓扑空间乘积上映射的几个不动点定理。本文的结果包含了[2,3,4,5]中的某些主要结果作为特例。 相似文献
16.
17.
非线性映象不动点的存在性和逼近方法 总被引:1,自引:0,他引:1
杨荣先 《四川师范大学学报(自然科学版)》1991,(3)
本文在凸度量空间中证明了可交换映象 F、G 的公共不动点的存在定理,推广了 Khan 的结果,还讨论了区间[a,b]上 Lipschitz 映象不动点的逼近方法,得到了三个结果,推广 Hillam 的结果. 相似文献
18.
张驰 《西华师范大学学报(哲学社会科学版)》1993,14(1):1-6
根据由 O.Kaleva 与 S.Seikkala 共同提出的 Fuzzy 度量空间的模型,构造了另一类压缩映象的不动点定理. 相似文献