计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2011年
12期
27-30
,共4页
赋值密度函数%概率真度%推理规则%相似度
賦值密度函數%概率真度%推理規則%相似度
부치밀도함수%개솔진도%추리규칙%상사도
通过引入赋值密度函数、边缘密度函数等概念,给出了几种常见的命题逻辑系统中公式概率真度的定义,研究了概率真度的推理规则并证明了全体公式的概率真度之集在[0,1]中的稠密性,在此基础上给出了相似度的定义并讨论了其性质,为推理程度的数值化提供了依据.
通過引入賦值密度函數、邊緣密度函數等概唸,給齣瞭幾種常見的命題邏輯繫統中公式概率真度的定義,研究瞭概率真度的推理規則併證明瞭全體公式的概率真度之集在[0,1]中的稠密性,在此基礎上給齣瞭相似度的定義併討論瞭其性質,為推理程度的數值化提供瞭依據.
통과인입부치밀도함수、변연밀도함수등개념,급출료궤충상견적명제라집계통중공식개솔진도적정의,연구료개솔진도적추리규칙병증명료전체공식적개솔진도지집재[0,1]중적주밀성,재차기출상급출료상사도적정의병토론료기성질,위추리정도적수치화제공료의거.