检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《计算机工程与应用》2010年第12期42-45,共4页Computer Engineering and Applications
基 金:国家自然科学基金No.60875034~~
摘 要:利用赋值集的随机化方法,在n值Gdel逻辑系统中提出了公式的随机真度,证明了所有公式的随机真度集在[0,1]中没有孤立点;给出了两公式间的DGn-相似度与伪距离的概念,并建立了DGn-逻辑度量空间,证明了此空间没有孤立点.DGn-stochastic truth degree of formulas in n-value logic Gn 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 DGn-similarity degree and pseudo-metric on two formulas are given.DGn-logic metric space is built and in which there is no isolated point.
关 键 词:DGn-真度 DGn-相似度 DGn-逻辑度量空间
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.117