摘要
首先,借鉴n值?ukasiewicz逻辑系统中公式的赋值及赋值顺序,给出了公式的向量表示形式;接着,利用公式的赋值及赋值顺序给出了公式的真度、两公式间的3种相似度与伪距离的定义;最后,讨论了公式的真度和公式间的3种相似度与伪距离所具有的一些良好性质。
The vector representation form of formula was given first based on the assignment and assignment order of formula in n-valued ?ukasiewicz propositional logic system.Then,using assignment and assignment order of formula,the truth degree of formula and the definition of three kinds of similarity degree and pseudo-metric between two formulas were also introduced.Finally,some good properties of truth degree,similarity degree and pseudo-metric between formulas were discussed in detail.
出处
《计算机科学》
CSCD
北大核心
2016年第S2期83-87,共5页
Computer Science
基金
国家自然科学基金(11471007)
陕西省自然科学基金(2014JM1020)
延安大学博士基金(YDBK2013-12)
陕西省大学生创新训练计划项目(1064)
延安市专项基金(2013-KG16)
延安大学研究生创新基金资助
关键词
n值Lukasiewicz逻辑系统
向量
真度
3种相似度
3种伪距离
n-valued Lukasiewicz logic system
Vector
Truth degree
Three kinds of similarity degree
Three kinds of pseudo-metric