四種命題邏輯中公式的相對Γ-重言度理論

基于廣義重言式理論,在四種重要的命題邏輯系統(tǒng)Lukasiewicz系統(tǒng),L*系統(tǒng),G(o)del系統(tǒng)和Ⅱ系統(tǒng)中,引入了公式的相對Γ-重言度概念,給出了相對Γ-重言度的若干性質(zhì).利用公式的相對Γ-重言度,定義了公式間的Γ-相似度,進而導出了命題集F(S)上的一種偽距離.最后討論了命題集F(S)上統(tǒng)一的近似推理理論,得到了三種類型的近似推理模式之間的內(nèi)在聯(lián)系.

作 者： 王國俊 劉保翠 WANG Guo-jun LIU Bao-cui   作者單位： 王國俊,WANG Guo-jun(陜西師范大學數(shù)學與信息科學學院,西安,710062;西安交通大學基礎科學研究中心,西安,710049)

劉保翠,LIU Bao-cui(陜西師范大學數(shù)學與信息科學學院,西安,710062) 

刊 名： 工程數(shù)學學報  ISTIC PKU 英文刊名： CHINESE JOURNAL OF ENGINEERING MATHEMATICS  年，卷(期)： 2007 24(4)  分類號： O141.1  關鍵詞： 命題邏輯   相對Γ-重言度   性質(zhì)   Γ-相似度   偽距離   近似推理  

【四種命題邏輯中公式的相對Γ-重言度理論】相關文章：

二值命題邏輯中邏輯推理的有效度04-26

模糊邏輯系統(tǒng)Luk和L*中理論相容度的計算公式(III)04-26

二值命題邏輯中有限理論的α-結論04-26

應用雷達產(chǎn)品計算風暴相對螺旋度04-27

命題邏輯講真不講假04-27

生活中的物理論文01-29

一種基于相對貼近度的交互式?jīng)Q策法04-26

轉動系統(tǒng)相對論性Birkhoff動力學的基本理論04-26

認知理論視野中的語言接收04-26

統(tǒng)計理論中的系統(tǒng)辯證思想04-26