命题逻辑公式的相似度与距离之研究
高芹1
张兴芳1
张月岭2
1.聊城大学,数学科学学院,山东,聊城,2520592.聊城大学,计算机学院,山东,聊城,252059
摘要：将Lukasiewicz模糊命题逻辑系统中公式A和B积分相似度ξ(A,B)与自然的距离ρ(A,B)的概念推广到模糊命题逻辑系统L*、G(o)d和∏中,并讨论了它们之间的关系.讨论的结果表明:在Lukasiewicz模糊命题逻辑系统中,它们之间的关系为:ξ(A,B)=1-ρ(A,B),而在G(o)d∏和L*中此关系不成立.最后还研究了这四个逻辑系统中公式的积分相似度和自然的距离的性质.
关键词：模糊题逻辑系统相似度距离逻辑
分类号：O141(数理逻辑、数学基础)
资助基金：山东省自然科学基金(Y2003A01)
论文发表日期：2008-01-01
在线出版日期：2026-08-28（本平台首次上网日期，不代表文献的发表时间）
页数：4( 4-7 )
英文信息