- 相關推薦
四種命題邏輯中公式的相對Γ-重言度理論
基于廣義重言式理論,在四種重要的命題邏輯系統(tǒng)Lukasiewicz系統(tǒng),L*系統(tǒng),G(o)del系統(tǒng)和Ⅱ系統(tǒng)中,引入了公式的相對Γ-重言度概念,給出了相對Γ-重言度的若干性質.利用公式的相對Γ-重言度,定義了公式間的Γ-相似度,進而導出了命題集F(S)上的一種偽距離.最后討論了命題集F(S)上統(tǒng)一的近似推理理論,得到了三種類型的近似推理模式之間的內在聯系.
作 者： 王國俊 劉保翠 WANG Guo-jun LIU Bao-cui 作者單位： 王國俊,WANG Guo-jun(陜西師范大學數學與信息科學學院,西安,710062;西安交通大學基礎科學研究中心,西安,710049)劉保翠,LIU Bao-cui(陜西師范大學數學與信息科學學院,西安,710062)
刊 名： 工程數學學報 ISTIC PKU 英文刊名： CHINESE JOURNAL OF ENGINEERING MATHEMATICS 年，卷(期)： 2007 24(4) 分類號： O141.1 關鍵詞： 命題邏輯 相對Γ-重言度 性質 Γ-相似度 偽距離 近似推理【四種命題邏輯中公式的相對Γ-重言度理論】相關文章：
二值命題邏輯中邏輯推理的有效度04-26
模糊邏輯系統(tǒng)Luk和L*中理論相容度的計算公式(III)04-26
二值命題邏輯中有限理論的α-結論04-26
應用雷達產品計算風暴相對螺旋度04-27
命題邏輯講真不講假04-27
生活中的物理論文01-29
一種基于相對貼近度的交互式決策法04-26
轉動系統(tǒng)相對論性Birkhoff動力學的基本理論04-26
認知理論視野中的語言接收04-26