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

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

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

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

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

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

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

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

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

應(yīng)用雷達(dá)產(chǎn)品計(jì)算風(fēng)暴相對螺旋度04-27

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

生活中的物理論文01-29

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

轉(zhuǎn)動(dòng)系統(tǒng)相對論性Birkhoff動(dòng)力學(xué)的基本理論04-26

認(rèn)知理論視野中的語言接收04-26

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