摘要
通过引入随机向量序列对赋值集进行随机化,在逻辑系统G3中提出了公式的D3-随机真度的概念,证明了全体公式的D3-随机真度之集在[0,1]中没有孤立点;提出了D3-相似度和D3-伪距离,证明了在D3-逻辑度量空间中没有孤立点;在D3-逻辑度量空间中提出3种不同类型的近似推理模式;引入公式间的相容与独立的概念,研究了其关系。为进一步研究随机推理奠定了基础。
By means of randomization,the concept of D3-randomized truth degree of formulas in logic system Gdel 3 is introduced;it is proved that the set of values of D3-randomized truth degree of formulas has no isolated point in[0,1].The concepts of D3-similarity degree and D3-pseudo-metric are also introduced;it is proved that there is no isolated point in D3-logic metric space.Three different types of approximate reasoning patterns are proposed in D3-logic metric space.The theories of consistency and independence of formulas are developed.
出处
《计算机工程与应用》
CSCD
北大核心
2011年第5期35-36,76,共3页
Computer Engineering and Applications
基金
河南省教育厅自然科学基金(No.2011A110012)
关键词
随机向量序列
D3-随机真度
D3-相似度
近似推理
独立性
randomized vector sequence
D3-randomized truth degree
D3-similarity degree
approximate reasoning
independence
