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

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

王庆平,张兴芳,王大全

聊城大学数学科学学院, 山东聊城 252059

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2006-10-24 发布日期:2006-10-24
通讯作者: 王庆平

Stochastic study in the ternary logic system G3

WANG Qing-ping, ZHANG Xing-fang, WANG Da-quan

School of Mathematics Science, Liaocheng University, Liaocheng 252059, Shandong, China

Received:1900-01-01 Revised:1900-01-01 Online:2006-10-24 Published:2006-10-24
Contact: WANG Qing-ping

摘要/Abstract

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

关键词: DG3-随机真度, DG3-相似度, DG3-逻辑度量空间

Abstract: DG3-stochastic truth degree of formulae in the ternary logic G3 was presented by using stochastic method on evaluation sets. It was proved that the set of stochastic truth degree of all formulae has no isolated point. The conceptions of DG3-similarity degree and pseudo-metric on two formulae were given. DG3-logic metric space was built. It was proved that this space has no isolated point.

Key words: DG3-logic metric space , DG3-similarity degree, DG3-stochastic truth degree

中图分类号:

O14.1

王庆平,张兴芳,王大全 . 三值逻辑系统G3中的随机化研究[J]. J4, 2008, 43(2): 101-108 .

WANG Qing-ping,ZHANG Xing-fang,WANG Da-quan . Stochastic study in the ternary logic system G3[J]. J4, 2008, 43(2): 101-108 .

参考文献

多维度评价

Viewed

Full text

Abstract

Cited

Shared

Discussed