一阶Łukasiewicz演算系统中的相似度及伪距离  

Similarity degree and pseudo-distance in first-order Łukasiewicz calculus system

作　　者：马硕 惠小静[1] 郝娇 MA Shuo;HUI Xiaojing;HAO Jiao(College of Mathematics and Computer Science,Yan’an University,Yan’an 716000,China)

机构地区：[1]延安大学数学与计算机科学学院,陕西延安716000

出　　处：《湖北大学学报（自然科学版）》2023年第2期193-197,共5页Journal of Hubei University：Natural Science

基　　金：国家自然科学基金(11471007,61763045);延安大学研究生教育创新计划项目(YCX2021056)资助。

摘　　要：在Łukasiewicz谓词演算系统中引入公理化真度,在此基础上讨论公式之间相似度和伪距离的运算性质,并举例说明将相似度与伪距离转化为公式真度进行计算的方法.Introduced axiomatic truth into Łukasiewicz predicate calculus system and on this basis,the operation properties of similarity and pseudo-distance between formulas were discussed,and the computing methods of transforming similarity and pseudo-distance into truth degree of formulas were illustrated with examples.

关 键 词：Łukasiewicz谓词演算系统 真度 相似度 伪距离 

分 类 号：O141[理学—数学]