10.3969/j.issn.0372-2112.2018.10.001
多值逻辑中基于Camberra模糊距离的计量化方法
本文以模糊集间的Camberra距离为工具,给出了多值(L)ukasiewicz逻辑系统中公式间的Camberra-距离,Camberra-相似度与Camberra-真度的概念,讨论了Camberra-相似度与Camberra-真度的性质,证明了每一个公式φ的Camberra-真度都等于一些互不相容的公式的Camberra-真度之和.然后以Camberra-真度为依托,研究了(L)ukasiewicz 逻辑度量空间的一些性质,证明了三值(L)ukasiewicz逻辑度量空间没有孤立点,以及每一个球形领域都是不相容理论等结论.为在公式集F(S)上展开程度化推理提供了一种新的方法.
计量逻辑学、Camberra模糊距离、近似推理、相容理论
46
O141.1;O153.1(数理逻辑、数学基础)
国家自然科学基金重点项目11531009;中央高校基本科研业务费专项资金GK201501001
2019-01-04(万方平台首次上网日期,不代表论文的发表时间)
共11页
2305-2315