摘要
在Ł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.
作者
马硕
惠小静
郝娇
MA Shuo;HUI Xiaojing;HAO Jiao(College of Mathematics and Computer Science,Yan’an University,Yan’an 716000,China)
出处
《湖北大学学报（自然科学版）》
CAS
2023年第2期193-197,共5页
Journal of Hubei University：Natural Science
基金
国家自然科学基金(11471007,61763045)
延安大学研究生教育创新计划项目(YCX2021056)资助。
