几种逻辑系统中的概率真度  

Probability truth degree in several logic system

作　　者：于西昌[1] 谭桂梅[2] 

机构地区：[1]聊城职业技术学院,山东聊城252000 [2]聊城大学图书馆,山东聊城252059

出　　处：《计算机工程与应用》2011年第12期27-30,共4页Computer Engineering and Applications

基　　金：国家自然科学基金No.60875034;山东省自然科学基金(No.Y2003A01);聊城职业技术学院资助项目(No.2009lLZY31)~~

摘　　要：通过引入赋值密度函数、边缘密度函数等概念,给出了几种常见的命题逻辑系统中公式概率真度的定义,研究了概率真度的推理规则并证明了全体公式的概率真度之集在[0,1]中的稠密性,在此基础上给出了相似度的定义并讨论了其性质,为推理程度的数值化提供了依据。A definition of probability truth degree for formula in some common propositional logic is defined by the concepts of valuation density function and edge density function,some inference rules of probability truth degree are discussed, and the density of probability truth degree in [0, 1] is proved.The definition of sirnilaritie is given which discusses the proper- ties of the relationship based on knowledge of the above.Thus the basis for the inference degree＇s numerical is proved.

关 键 词：赋值密度函数 概率真度 推理规则 相似度 

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