BL■谓词逻辑系统中相似度计算方法  

Similarity Calculation Method in BL■ Predicate Logic System

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

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

出　　处：《沈阳大学学报（自然科学版）》2022年第4期328-332,338,共6页Journal of Shenyang University：Natural Science

基　　金：国家自然科学基金资助项目(11471007,61763045)。

摘　　要：以一阶逻辑公理化真度概念为基础,从公式间相似度出发,结合谓词演算系统BL■,首先讨论了含强等价算子的相似度性质,然后根据公理化真度的性质简化了相似度的运算方法,最后给出了闭公式相似度的计算方法及性质。Based on the concept of axiomatic truth degree in first-order logic,starting from the similarity between formulas,combined with the predicate calculus system BL■,the properties of similarity with strong equivalent operators were discussed.The operation properties of similarity were simplified according to the methods of axiomatic truth degree.The calculation methods and properties of similarity of closed formula were given.

关 键 词：谓词逻辑系统 相似度 计算方法 公理化真度 强等价算子 

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