首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 875 毫秒
1.
研究了Lukasiewicz命题集的积分真度、发散度与相容度在[0,1]中的分布问题.利用一组公式所对应的McNaughtom函数,证明了Lukasiewicz逻辑系统中积分真度之集在[0,1]中稠密、发散度取值之集在[0,1]中稠密.结果表明,当Γ有限且相容时,相容度取值之集在[1/2,1]中稠密.  相似文献   

2.
几个三值命题逻辑系统中命题真度的分布   总被引:2,自引:0,他引:2  
利用势为3的均匀概率空间的无穷乘积在W3、G3、П3及S3系统中引入了公式的真度概念,得到了命题真度分布的一些性质,同时给出了三值真度推理规则.证明了以上各系统中的全体公式的真度值之集在[0,1]上是稠密的,并给出了其中公式真度的表达通式,即若A∈F(S),则τ(A)=k/3^n(n=1,2,…,k=0,1,…,3^n).此项研究为进一步建立三值命题逻辑的近似推理理论奠定了基础,并且使W3,G3,П3及S3系统中公式的真度有了统一的理论体系.  相似文献   

3.
一种非均匀概率空间下二值命题逻辑中命题的真度理论   总被引:5,自引:0,他引:5  
将经典二值命题逻辑中公式的真度概念推广到势为2的非均匀概率空间上,定义了二值逻辑p-测度和其上的命题的真度;在p=1/3的情形下证明了全体公式的真度之集在[0,1]中是稠密的,并给出了公式真度的表达通式;利用真度定义公式间的相似度,进而导出全体公式集上的一种伪距离,为近似推理理论提供一种可能的框架.  相似文献   

4.
基于均匀概率空间的无穷乘积在匕ukasiewicz三值命题逻辑中引入了公式的可靠真度概念,证明了全体公式的可靠真度值之集在[0,1]中没有孤立点;利用可靠真度定义了可靠相似度和伪距离,进而建立了逻辑度量空间,证明了该空间中没有孤立点,为进一步在三值命题逻辑中展开近似推理奠定了基础。  相似文献   

5.
根与F(S)中的近似推理   总被引:17,自引:0,他引:17  
于鹏  王国俊 《自然科学进展》2006,16(8):1028-1032
基于一组公式集的根的理论与公式的真度理论,讨论了二值命题逻辑系统L,Fuzzy命题逻辑系统L*中根与命题集的发散度、相容度之间的内在联系,重点论述了其在F(S)的近似推理误差分析中所起的作用.  相似文献   

6.
基于均匀概率空间的无穷乘积在ヒukasiewicz三值命题逻辑中引入了公式的可靠真度概念,证明了全体公式的可靠真度值之集在[0,1]中没有孤立点;利用可靠真度定义了可靠相似度和伪距离,进而建立了逻辑度量空间,证明了该空间中没有孤立点,为进一步在三值命题逻辑中展开近似推理奠定了基础.  相似文献   

7.
在赋值格为[0,1]的模糊逻辑系统L*中,利用序结构和赋值集的随机化方法提出了公式的随机真度,引入公式间的随机相似度和伪距离,导出随机真度和伪距离的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性,拓宽了随机真度的近似推理理论的研究思路.  相似文献   

8.
五值非线性序集逻辑系统中命题真度的分布   总被引:3,自引:0,他引:3  
利用势为5的均匀概率空间的无穷乘积在五值非线性序集逻辑系统L25中引入了公式的真度概念,给出了真度的一些推理规则,并证明了全体公式的真度值之集在[0,1]上是稠密的,给出了全体公式概率真度的表达通式,为在非线性序集逻辑系统L25中建立近似推理理论提供了一种可能的框架。  相似文献   

9.
利用势为3的均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的真度概念,给出了真度推理规则,证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑的近似推理理论奠定了基础.  相似文献   

10.
四值非线性序集逻辑系统中命题真度的分布   总被引:1,自引:1,他引:0  
证明了非线性序集逻辑系统中全体公式的真度值之集在[0,1]上是稠密的,为进一步建立该系统中的近似推理理论奠定了基础。  相似文献   

11.
证明了定理设G是一个有限群,p是一个素数,P是G的一个Sylowp-群.那么,G的每一个非线性不可约特征标的次数被p整除当且仅当G有正规p-补,使得Or(G)∩CG(P)为Abel群并且|G:G″|=|P:P′|·|Or′(G)∩CG(P)|还研究了当G有正规p-补时,G的全体线性特征标是如何分配在具有最高亏数的p-块中的.  相似文献   

12.
13.
14.
15.
16.
17.
Sudbury GC  Ingham MF 《Nature》1970,226(5245):526-528
Data from a rocket experiment show details which were not known from ground-based observations.  相似文献   

18.
回弹法检测混凝土抗压强度,是目前建筑行业广泛应用的一种无损检测混凝土质量的方法。而回弹值测量的质量,至今没有评估的方法。用不确定度可以评估回弹值测量的质量。分析了用回弹仪检测混凝土抗压强度时回弹值的不确定度,提出了用不确定度评估回弹值的方法。  相似文献   

19.
运用现代控制理论中的系统辨识方法而给出了多层递阶法的伤亡事故预测系统的动态模型、基本原理,提出运用多层递阶方法对伤亡事故进行预测,通过对某飞机制造公司伤亡事故的实例分析表明,与固定参数预测模型相比较,基于多层递阶的预测过程可以充分利用长时间统计数据,并能减小预测误差,提高预测精度。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号