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

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

作 者： 王國俊 劉保翠 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

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

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

應用雷達產品計算風暴相對螺旋度04-27

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

生活中的物理論文01-29

一種基于相對貼近度的交互式決策法04-26

轉動系統相對論性Birkhoff動力學的基本理論04-26

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

統計理論中的系統辯證思想04-26