检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:王庆平[1,2]
机构地区:[1]陕西师范大学数学与信息科学学院,西安710062 [2]聊城大学数学科学学院,山东聊城252059
出 处:《计算机工程与应用》2010年第30期16-19,60,共5页Computer Engineering and Applications
基 金:国家自然科学基金No.10771129~~
摘 要:利用赋值集的随机化方法,在n值标准逻辑中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DGRn-相似度与伪距离的概念,并建立了DGRn-逻辑度量空间,证明了此空间没有孤立点。In this paper,DGRn-stochastic truth degree of formulas in n-valued standard logic is presented by using stochastic method on evaluation sets.It is proved that the set of stochastic truth degree of all formulas has no isolated point.The conceptions of DGRn-similarity degree and pseudo-metric on two formulas are given.DGRn-logic metric space is built.And it is proved that this space has no isolated point.
关 键 词:DGRn-随机真度 DGRn-相似度 DGRn-逻辑度量空间
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.191.201.27