本文關(guān)鍵詞：四種命題邏輯中公式的相對(duì)Γ-重言度理論，由筆耕文化傳播整理發(fā)布。

【摘要】：基于廣義重言式理論,在四種重要的命題邏輯系統(tǒng)Lukasiewicz系統(tǒng),L*系統(tǒng),Godel系統(tǒng)和Π系統(tǒng)中,引入了公式的相對(duì)Γ-重言度概念,給出了相對(duì)Γ-重言度的若干性質(zhì)。利用公式的相對(duì)Γ-重言度,定義了公式間的Γ-相似度,進(jìn)而導(dǎo)出了命題集F(S)上的一種偽距離。最后討論了命題集F(S)上統(tǒng)一的近似推理理論,得到了三種類型的近似推理模式之間的內(nèi)在聯(lián)系。
【作者單位】： 陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院 陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院
【關(guān)鍵詞】： 命題邏輯 相對(duì)Γ-重言度 性質(zhì) Γ-相似度 偽距離 近似推理
【基金】：國(guó)家自然科學(xué)基金(10331010)
【分類號(hào)】：O141.1
【正文快照】： 作為經(jīng)典二值邏輯的自然延伸，多值命題邏輯(包括模糊命題邏輯)在理論和應(yīng)用兩個(gè)方面都有了較大的發(fā)展l卜4]。其中受到廣泛關(guān)注的多值邏輯系統(tǒng)有Lukas化切記:系統(tǒng)，L*系統(tǒng)，，G蒯el系統(tǒng)和n系統(tǒng)。近年來(lái)眾多的學(xué)者針對(duì)這四種邏輯系統(tǒng)做了系統(tǒng)而深入地研究。從某種角度來(lái)看，有關(guān)

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前7條

1 裴道武;關(guān)于模糊邏輯與模糊推理邏輯基礎(chǔ)問(wèn)題的十年研究綜述[J];工程數(shù)學(xué)學(xué)報(bào);2004年02期

2 王國(guó)俊;;計(jì)量邏輯學(xué)(Ⅰ)[J];工程數(shù)學(xué)學(xué)報(bào);2006年02期

3 王國(guó)俊;修正的Kleene系統(tǒng)中的Σ-(α-重言式)理論[J];中國(guó)科學(xué)E輯;1998年02期

4 吳洪博;修正的Kleene系統(tǒng)中的廣義重言式理論[J];中國(guó)科學(xué)E輯;2002年02期

5 裴道武;形式演繹系統(tǒng)L~*中的懔運(yùn)算與演繹定理[J];模糊系統(tǒng)與數(shù)學(xué);2001年01期

6 韓誠(chéng),周紅軍;關(guān)于形式系統(tǒng)L~*(強(qiáng))完備性證明的注記[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年02期

7 楊曉斌,張文修;Lukasiewicz系統(tǒng)中的廣義重言式理論[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);1998年04期

【共引文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 辛?xí)詵|,尤飛;乘積R_0-代數(shù)上的若干映射性質(zhì)[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2000年02期

2 吳洪博;L~*系統(tǒng)的一種改進(jìn)系統(tǒng)L_0~*[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);2001年01期

3 裴道武,姜慧;一個(gè)新的模糊謂詞演算形式系統(tǒng)[J];東北師大學(xué)報(bào)(自然科學(xué)版);2003年01期

4 胡明娣;王國(guó)俊;;基礎(chǔ)R_0代數(shù)的結(jié)構(gòu)研究[J];紡織高�；A(chǔ)科學(xué)學(xué)報(bào);2006年03期

5 王國(guó)俊;關(guān)于模糊推理的若干基本問(wèn)題[J];工程數(shù)學(xué)學(xué)報(bào);2000年S1期

6 辛?xí)詵|;非線性格值邏輯系統(tǒng)鄀_6[J];工程數(shù)學(xué)學(xué)報(bào);2000年S1期

7 王向云;賦值為R_0-模糊集的邏輯系統(tǒng)[J];工程數(shù)學(xué)學(xué)報(bào);2001年01期

8 吳洪博,閻滿富;G銉del邏輯系統(tǒng)中F(S)的一個(gè)分劃及其應(yīng)用[J];工程數(shù)學(xué)學(xué)報(bào);2001年04期

9 裴道武;模糊邏輯中的自然演繹系統(tǒng)[J];工程數(shù)學(xué)學(xué)報(bào);2002年03期

10 王國(guó)俊,任燕;Lukasiewicz命題集的發(fā)散性與相容性[J];工程數(shù)學(xué)學(xué)報(bào);2003年03期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前1條

1 王廷明;吳偉民;;基于主范式的二值命題邏輯公式的真度[A];第一屆中國(guó)智能計(jì)算大會(huì)論文集[C];2007年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前5條

1 李志偉;偏序集上的蘊(yùn)涵代數(shù)[D];首都師范大學(xué);2002年

2 覃鋒;模糊邏輯中若干問(wèn)題的研究[D];四川大學(xué);2004年

3 周斌;焦化爐對(duì)環(huán)境污染的優(yōu)化控制研究[D];吉林大學(xué);2006年

4 馬盈倉(cāng);命題泛邏輯的演算理論及推理研究[D];西北工業(yè)大學(xué);2006年

5 曾曉松;面向個(gè)性化定制的控制類柜體機(jī)電產(chǎn)品設(shè)計(jì)知識(shí)重用方法研究[D];重慶大學(xué);2007年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 王向云;區(qū)間值模糊推理的三Ⅰ算法[D];陜西師范大學(xué);2001年

2 袁和軍;模糊推理的形式化理論[D];陜西師范大學(xué);2002年

3 李駿;一類n值命題邏輯中命題的真度理論及近似推理理論[D];陜西師范大學(xué);2002年

4 常瑤芝;L～*謂詞邏輯與R_0代數(shù)性質(zhì)新探[D];陜西師范大學(xué);2003年

5 王龍春;L～*系統(tǒng)中的一類廣義重言式與L～*系統(tǒng)的一種擴(kuò)張[D];陜西師范大學(xué);2003年

6 蘭蓉;t-模與蘊(yùn)涵算子的同構(gòu)及廣義重言式理論[D];陜西師范大學(xué);2003年

7 張花榮;代數(shù)系統(tǒng)的可嵌入性[D];陜西師范大學(xué);2003年

8 宋慶燕;命題邏輯公式集上的正則相似關(guān)系和一種新型的三I算法[D];陜西師范大學(xué);2003年

9 任燕;命題集的相容性、根及發(fā)散性[D];陜西師范大學(xué);2004年

10 孟艷平;擾動(dòng)模糊命題邏輯系統(tǒng)的語(yǔ)義[D];遼寧師范大學(xué);2005年

【二級(jí)參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 裴道武;模糊邏輯中的自然演繹系統(tǒng)[J];工程數(shù)學(xué)學(xué)報(bào);2002年03期

2 裴道武,王三民;形式系統(tǒng)L~*(n)的完備性[J];高校應(yīng)用數(shù)學(xué)學(xué)報(bào)A輯(中文版);2001年03期

3 王國(guó)俊,傅麗,宋建社;二值命題邏輯中命題的真度理論[J];中國(guó)科學(xué)A輯;2001年11期

4 王國(guó)俊;修正的Kleene系統(tǒng)中的Σ-(α-重言式)理論[J];中國(guó)科學(xué)E輯;1998年02期

5 王國(guó)俊;模糊推理的全蘊(yùn)涵三I算法[J];中國(guó)科學(xué)E輯;1999年01期

6 王國(guó)俊;三I方法與區(qū)間值模糊推理[J];中國(guó)科學(xué)E輯;2000年04期

7 王國(guó)俊;適用于多種蘊(yùn)涵算子的賦值空間上的測(cè)度與積分理論[J];中國(guó)科學(xué)E輯;2001年01期

8 裴道武,王國(guó)俊;形式系統(tǒng)鈦~*的完備性及其應(yīng)用[J];中國(guó)科學(xué)E輯;2002年01期

9 裴道武,王國(guó)俊;形式系統(tǒng)L~*的擴(kuò)張L_n~*及其完備性[J];中國(guó)科學(xué)E輯;2003年04期

10 王國(guó)俊;模糊命題演算的一種形式演繹系統(tǒng)[J];科學(xué)通報(bào);1997年10期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前1條

1 裴道武;;R_0代數(shù)中的MP濾子與同余關(guān)系[A];模糊集理論與模糊應(yīng)用專輯——中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十屆年會(huì)論文選集[C];2000年

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 諸葛殷同;命題邏輯的推理規(guī)則[J];思維與智慧;1982年04期

2 諸葛殷同;重言式[J];思維與智慧;1982年05期

3 何應(yīng)燦;真值表的判定方法[J];思維與智慧;1982年06期

4 湯軍;麥加拉—斯多葛邏輯[J];思維與智慧;1984年03期

5 陳亞明;做過(guò)“漿洗工”的邏輯學(xué)家——德奧夫拉斯特簡(jiǎn)介[J];思維與智慧;1984年04期

6 馬兵;真假值、蘊(yùn)涵與基本規(guī)律[J];廈門(mén)大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1986年01期

7 蔡曙山;一個(gè)與盧卡西維茲不同的亞里士多德三段論形式系統(tǒng)[J];哲學(xué)研究;1988年04期

8 程仲棠;一個(gè)古典的自然推理系統(tǒng)——論斯多葛命題邏輯[J];廣東社會(huì)科學(xué);1990年01期

9 郭澤深;現(xiàn)代邏輯對(duì)亞里士多德邏輯的重新解釋[J];華南師范大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);1990年04期

10 帥寶強(qiáng);命題邏輯的引入與形式邏輯教材的改進(jìn)[J];九江師專學(xué)報(bào);1990年01期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前10條

1 徐揚(yáng);;格值命題邏輯公式及其L真(假)性[A];中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第五屆年會(huì)論文選集[C];1990年

2 陸秋君;吳望名;;Post代數(shù)的Fuzzy濾子和Fuzzy同余[A];模糊集理論與應(yīng)用——98年中國(guó)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第九屆年會(huì)論文選集[C];1998年

3 林邦瑾;;夠用的無(wú)衍系統(tǒng)Cm[A];全國(guó)邏輯討論會(huì)論文選集[C];1979年

4 郭世銘;;二重命題邏輯系統(tǒng)■_4[A];1993年邏輯研究專輯[C];1993年

5 王學(xué)剛;;量詞與字母[A];1993年邏輯研究專輯[C];1993年

6 鄭文輝;;歐美邏輯學(xué)說(shuō)史的研究領(lǐng)域、歷史分期和發(fā)展特點(diǎn)[A];1993年邏輯研究專輯[C];1993年

7 李小五;;邏輯教學(xué)現(xiàn)代化的一次嘗試——《新邏輯教程》評(píng)介[A];1993年邏輯研究專輯[C];1993年

8 王東臨;;關(guān)于邏輯的幾個(gè)問(wèn)題[A];1994年邏輯研究專輯[C];1994年

9 劉壯虎;;相干邏輯的鄰域語(yǔ)義學(xué)[A];1995年邏輯研究專輯[C];1995年

10 張清宇;;古典命題邏輯的證偽系統(tǒng)[A];1996年邏輯研究專輯[C];1996年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前10條

1 林圭;固有不然必?zé)o不至[N];人民日?qǐng)?bào)海外版;2001年

2 金_g;IT自考學(xué)習(xí)資源大搜索（一）[N];中國(guó)電腦教育報(bào);2002年

3 陳波;邏輯學(xué)與理性精神[N];光明日?qǐng)?bào);2003年

4 李晚蓮;中國(guó)邏輯的史詩(shī)[N];中華讀書(shū)報(bào);2004年

5 高南生（作者單位：秦安縣教師進(jìn)修學(xué)校）;中學(xué)數(shù)學(xué)學(xué)習(xí)指南[N];甘肅日?qǐng)?bào);2005年

6 吳曉露;應(yīng)以“審查監(jiān)督偵查”取代“檢察引導(dǎo)偵查”[N];江蘇法制報(bào);2006年

7 賈春華 王永炎;“方證論治系統(tǒng)”原理論思考[N];中國(guó)中醫(yī)藥報(bào);2006年

8 沈躍春;繁榮和發(fā)展邏輯科學(xué)[N];安徽日?qǐng)?bào);2007年

9 中國(guó)科學(xué)院計(jì)算技術(shù)研究所 常亮邋史忠植;語(yǔ)義Web的邏輯基礎(chǔ)[N];計(jì)算機(jī)世界;2007年

10 哲科;哲學(xué)所舉辦第二屆青年學(xué)術(shù)論壇[N];中國(guó)社會(huì)科學(xué)院院報(bào);2008年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前7條

1 斐崢;基于神經(jīng)網(wǎng)絡(luò)的自動(dòng)推理理論及方法的研究[D];西南交通大學(xué);2002年

2 王偉;格值命題邏輯系統(tǒng)LP（X）中基于α-歸結(jié)原理的自動(dòng)推理方法的研究[D];西南交通大學(xué);2002年

3 李文江;基于格蘊(yùn)涵代數(shù)的廣義格值模態(tài)邏輯及其歸結(jié)自動(dòng)推理的研究[D];西南交通大學(xué);2002年

4 李海明;關(guān)于格值邏輯及自動(dòng)推理的研究[D];西南交通大學(xué);2003年

5 王學(xué)芳;基于格蘊(yùn)涵代數(shù)的格值邏輯及其模型論的研究[D];西南交通大學(xué);2004年

6 鄧文勝;城鎮(zhèn)群體空間結(jié)構(gòu)演化的信息機(jī)制[D];武漢大學(xué);2005年

7 吳瑕;基于擴(kuò)展規(guī)則的定理證明的研究[D];吉林大學(xué);2006年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 李駿;一類n值命題邏輯中命題的真度理論及近似推理理論[D];陜西師范大學(xué);2002年

2 宋慶燕;命題邏輯公式集上的正則相似關(guān)系和一種新型的三I算法[D];陜西師范大學(xué);2003年

3 常瑤芝;L～*謂詞邏輯與R_0代數(shù)性質(zhì)新探[D];陜西師范大學(xué);2003年

4 陳文麗;修正的Atanassov命題邏輯及其廣義重言式[D];遼寧師范大學(xué);2003年

5 王華;命題泛邏輯學(xué)的包容性研究[D];西北工業(yè)大學(xué);2004年

6 黃拙;一階邏輯模型搜索問(wèn)題研究[D];中國(guó)科學(xué)院研究生院（軟件研究所）;2004年

7 姚從軍;古典命題邏輯與模態(tài)命題邏輯[D];河南大學(xué);2005年

8 李曉冰;區(qū)間值模糊命題邏輯的廣義擬重言式及其真度[D];遼寧師范大學(xué);2005年

9 孟艷平;擾動(dòng)模糊命題邏輯系統(tǒng)的語(yǔ)義[D];遼寧師范大學(xué);2005年

10 茹永梅;經(jīng)典邏輯系統(tǒng)（？）中的MT問(wèn)題及公式的真度理論[D];陜西師范大學(xué);2006年

  本文關(guān)鍵詞：四種命題邏輯中公式的相對(duì)Γ-重言度理論，由筆耕文化傳播整理發(fā)布。

本文編號(hào)：257060