- 相關(guān)推薦
四種命題邏輯中公式的相對(duì)Γ-重言度理論
基于廣義重言式理論,在四種重要的命題邏輯系統(tǒng)Lukasiewicz系統(tǒng),L*系統(tǒng),G(o)del系統(tǒng)和Ⅱ系統(tǒng)中,引入了公式的相對(duì)Γ-重言度概念,給出了相對(duì)Γ-重言度的若干性質(zhì).利用公式的相對(duì)Γ-重言度,定義了公式間的Γ-相似度,進(jìn)而導(dǎo)出了命題集F(S)上的一種偽距離.最后討論了命題集F(S)上統(tǒng)一的近似推理理論,得到了三種類型的近似推理模式之間的內(nèi)在聯(lián)系.
作 者： 王國(guó)俊 劉保翠 WANG Guo-jun LIU Bao-cui 作者單位： 王國(guó)俊,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)鍵詞： 命題邏輯 相對(duì)Γ-重言度 性質(zhì) Γ-相似度 偽距離 近似推理【四種命題邏輯中公式的相對(duì)Γ-重言度理論】相關(guān)文章：
二值命題邏輯中邏輯推理的有效度04-26
模糊邏輯系統(tǒng)Luk和L*中理論相容度的計(jì)算公式(III)04-26
應(yīng)用雷達(dá)產(chǎn)品計(jì)算風(fēng)暴相對(duì)螺旋度04-27
命題邏輯講真不講假04-27
生活中的物理論文01-29
一種基于相對(duì)貼近度的交互式?jīng)Q策法04-26
轉(zhuǎn)動(dòng)系統(tǒng)相對(duì)論性Birkhoff動(dòng)力學(xué)的基本理論04-26
認(rèn)知理論視野中的語言接收04-26