n值Lukasiewicz命題邏輯系統(tǒng)中公式的絕對真度理論
發(fā)布時間:2018-06-15 13:30
本文選題:Lukasiewicz邏輯 + 絕對真度; 參考:《蘭州理工大學學報》2008年01期
【摘要】:在n值Lukasiewicz命題邏輯系統(tǒng)中,回避均勻概率空間中的無窮乘積測度,借助邏輯公式A所誘導的函數(shù)引入邏輯公式A的絕對真度概念,并利用絕對真度定義公式間的絕對相似度和偽距離.討論絕對相似度和偽距離性質.證明┑,→,∧,∨運算在偽距離空間中是連續(xù)的.
[Abstract]:In the n-valued Lukasiewicz propositional logic system, the infinite product measure in uniform probability space is avoided, and the concept of absolute truth of logical formula A is introduced by the function induced by logical formula A. The absolute similarity and pseudo distance between the formulas are defined by absolute truth degree. The properties of absolute similarity and pseudo distance are discussed. It is proved that the operations are continuous in pseudo distance space.
【作者單位】: 蘭州理工大學理學院 蘭州理工大學理學院 西安陸軍學院軍事運籌教研室
【分類號】:O141.1
【相似文獻】
相關碩士學位論文 前1條
1 李建生;n值邏輯系統(tǒng)中命題的絕對真度及其隨機化理論[D];蘭州理工大學;2008年
,本文編號:2022165
本文鏈接:http://sikaile.net/shekelunwen/ljx/2022165.html
最近更新
教材專著