Lukasiewicz三值逻辑系统中的随机化研究

利用赋值集的随机化方法,在三值逻辑L3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DL3-相似度与伪距离的概念,并建立了DL3-逻辑度量空间,证明了此空间没有孤立点。     

Lukasiewicz三值逻辑系统中的随机化研究

利用赋值集的随机化方法，在三值逻辑L3中提出了公式的随机真度，证明了所有公式的随机真度之集在[0，1]中没有孤立点；给出了两公式间的DL3-相似度与伪距离的概念，并建立了DL3-逻辑度量空间，证明了此空间没有孤立点。     

三值乘积逻辑系统π3中的随机化研究

利用赋值集的随机化方法,在三值乘积逻辑π3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的Dπ3-相似度与伪距离的概念,并建立了Dπ3-逻辑度量空间,证明了此空间没有孤立点。     

Lukasiewicz逻辑系统中的随机化研究

利用赋值集的随机化方法,在Lukasiewicz逻辑中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DL-相似度与伪距离的概念,并建立了DL-逻辑度量空间,证明了此空间没有孤立点。     

(L)ukasiewicz逻辑系统中的随机化研究

利用赋值集的随机化方法,在(L)ukasiewicz逻辑中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DL-相似度与伪距离的概念,并建立了DL-逻辑度量空间,证明了此空间没有孤立点.     

逻辑系统G3中命题的D3-随机真度理论

通过引入随机向量序列对赋值集进行随机化,在逻辑系统G3中提出了公式的D3-随机真度的概念,证明了全体公式的D3-随机真度之集在[0,1]中没有孤立点;提出了D3-相似度和D3-伪距离,证明了在D3-逻辑度量空间中没有孤立点;在D3-逻辑度量空间中提出3种不同类型的近似推理模式;引入公式间的相容与独立的概念,研究了其关系。为进一步研究随机推理奠定了基础。     

n值标准逻辑系统中的随机化研究

利用赋值集的随机化方法,在n值标准逻辑中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的D_GRn-相似度与伪距离的概念,并建立了D_GRn-逻辑度量空间,证明了此空间没有孤立点。     

n值GÖdel逻辑系统中的随机化研究

利用赋值集的随机化方法,在n值GÖdel逻辑系统中提出了公式的随机真度,证明了所有公式的随机真度集在[0,1]中没有孤立点;给出了两公式间的D_Gn-相似度与伪距离的概念,并建立了D_Gn-逻辑度量空间,证明了此空间没有孤立点.     

£ukasiewicz三值命题逻辑系统中公式的概率真度理论

利用势为3的非均匀概率空间的无穷乘积,在£ukasiewicz三值命题逻辑中引入了公式的概率真度概念,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;利用概率真度定义了概率相似度和伪距离,进而建立了概率逻辑度量空间,证明了该空间中没有孤立点,为三值命题的近似推理理论提供了一种可能的框架。     

n值乘积逻辑系统中的随机化研究

利用赋值集的随机化方法,在n值乘积逻辑中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的D_πn-相似度与伪距离的概念,并建立了D_πn逻辑度量空间,证明了此空间没有孤立点。