摘要
本文以模糊集间的Camberra距离为工具,给出了多值Lukasiewicz逻辑系统中公式间的Camberra-距离,Camberra-相似度与Camberra-真度的概念,讨论了Camberra-相似度与Camberra-真度的性质,证明了每一个公式φ的Camberra-真度都等于一些互不相容的公式的Camberra-真度之和.然后以Camberra-真度为依托,研究了Lukasiewicz逻辑度量空间的一些性质,证明了三值Lukasiewicz逻辑度量空间没有孤立点,以及每一个球形领域都是不相容理论等结论.为在公式集F(S)上展开程度化推理提供了一种新的方法.
In this paper,by using Camberra fuzzy distance on fuzzy set,we propose the notions of Camberra-distance,Camberra-similarity degree between two formulas and Camberra-truth degree of one formula in multiple-valued ukasiewicz logic system,and discuss the properties of Camberra-similarity degree and Camberra-truth degree,prove that the Camberra-truth degree of formulaφis equal to the sum of Camberra-truth degrees of some incompatible formulas.And then,based on Camberra-truth degree,we study some properties of ukasiewicz logic metric space,prove that there is no isolated point,and arbitrarily sphere neighbourhood is an inconsistent theory in three valued ukasiewicz logic metric space and so on.Which provides a new method for expand the grade reasoning on formula set F(S).
作者
赵彬
于鹏
ZHAO Bin;YU Peng(College of Mathematics and Information Science,Shaanxi Normal University,Xi’an,Shaanxi 710119,China;School of Arts and Sciences,Shaanxi University of Science and Technology,Xi’an,Shaanxi 710021,China)
出处
《电子学报》
EI
CAS
CSCD
北大核心
2018年第10期2305-2315,共11页
Acta Electronica Sinica
基金
国家自然科学基金重点项目(No.11531009)
中央高校基本科研业务费专项资金(No.GK201501001)
