本文選題：二值命題邏輯 + 真度��； 參考：《模糊系統(tǒng)與數(shù)學(xué)》2009年02期

【摘要】：以真度為基礎(chǔ),給出二值命題邏輯系統(tǒng)中基于前提信息的相似度和偽距離的概念以及偽距離的真度表示式,對(duì)二值命題邏輯中具有前提信息的近似推理問(wèn)題進(jìn)行討論。
[Abstract]:On the basis of truth degree, the concepts of similarity and pseudo-distance based on premise information in binary propositional logic system and the representation of pseudo-distance are given, and the approximate reasoning problem with premise information in binary propositional logic is discussed.
【作者單位】： 青島大學(xué)師范學(xué)院數(shù)學(xué)系;
【分類(lèi)號(hào)】：O141.1

【參考文獻(xiàn)】

相關(guān)期刊論文 前5條

1 王國(guó)俊;宋建社;;命題邏輯中的程度化方法[J];電子學(xué)報(bào);2006年02期

2 惠小靜;王國(guó)俊;;經(jīng)典推理模式的隨機(jī)化研究及其應(yīng)用[J];中國(guó)科學(xué)(E輯:信息科學(xué));2007年06期

3 于鵬;王國(guó)俊;;根與F(S)中的近似推理[J];自然科學(xué)進(jìn)展;2006年08期

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

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

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 張紅杰;吳洪博;;L_n命題演算中的一種新程度化方法[J];紡織高�；A(chǔ)科學(xué)學(xué)報(bào);2007年03期

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

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

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

5 李駿,黎鎖平,蘭倩;一類(lèi)n值命題邏輯系統(tǒng)中改進(jìn)的相似度及偽距離[J];甘肅工業(yè)大學(xué)學(xué)報(bào);2003年02期

6 李駿,蘭倩,夏亞峰;標(biāo)準(zhǔn)序列邏輯系統(tǒng)S_3中命題的真度值之集在[0,1]上的分布[J];甘肅工業(yè)大學(xué)學(xué)報(bào);2003年04期

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

8 王國(guó)俊,李璧鏡;Lukasiweicz n值命題邏輯中公式的真度理論和極限定理[J];中國(guó)科學(xué)E輯;2005年06期

9 李駿;王國(guó)俊;;邏輯系統(tǒng)L_n~*中命題的真度理論[J];中國(guó)科學(xué)E輯;2006年06期

10 惠小靜;王國(guó)俊;;經(jīng)典推理模式的隨機(jī)化研究及其應(yīng)用[J];中國(guó)科學(xué)(E輯:信息科學(xué));2007年06期

相關(guān)會(huì)議論文 前4條

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

2 郭秀敏;王國(guó)俊;;關(guān)于描述邏輯中不動(dòng)點(diǎn)語(yǔ)義的討論[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

3 段巧林;王國(guó)俊;;根與幾種命題邏輯系統(tǒng)中的近似推理[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

4 惠小靜;;關(guān)于命題獨(dú)立性的一點(diǎn)注記[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

相關(guān)博士學(xué)位論文 前3條

1 韓誠(chéng);R_0代數(shù)及Vague集的相似度理論[D];陜西師范大學(xué);2006年

2 郝清賦;邏輯系統(tǒng)動(dòng)態(tài)結(jié)構(gòu)演化研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2006年

3 賴(lài)洪亮;Ω-范疇序結(jié)構(gòu)性質(zhì)的研究[D];四川大學(xué);2007年

相關(guān)碩士學(xué)位論文 前10條

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

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

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

4 馬曉玨;IMTL邏輯系統(tǒng)及IMTL-代數(shù)[D];陜西師范大學(xué);2004年

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

6 張東曉;邏輯公式的語(yǔ)構(gòu)真度和構(gòu)造性三I算法[D];陜西師范大學(xué);2006年

7 李璧鏡;Lukasiweicz邏輯系統(tǒng)中公式的真度理論和邏輯度量空間[D];陜西師范大學(xué);2006年

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

9 曹汝鳴;不完全信息數(shù)據(jù)庫(kù)的理論研究[D];南京航空航天大學(xué);2006年

10 關(guān)曉紅;多值邏輯系統(tǒng)H_α與偏蘊(yùn)涵代數(shù)[D];陜西師范大學(xué);2007年

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

相關(guān)期刊論文 前10條

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

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

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ó)俊;形式系統(tǒng)鈦~*的完備性及其應(yīng)用[J];中國(guó)科學(xué)E輯;2002年01期

7 宋士吉,吳澄;模糊推理的反向三I算法[J];中國(guó)科學(xué)E輯;2002年02期

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

9 王國(guó)俊,李璧鏡;Lukasiweicz n值命題邏輯中公式的真度理論和極限定理[J];中國(guó)科學(xué)E輯;2005年06期

10 李駿;王國(guó)俊;;邏輯系統(tǒng)L_n~*中命題的真度理論[J];中國(guó)科學(xué)E輯;2006年06期

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 齊先義;;一種新的聚類(lèi)分析方法及隸屬函數(shù)的排序[J];海軍工程大學(xué)學(xué)報(bào);1984年03期

2 齊先義;;近似推理[J];海軍工程大學(xué)學(xué)報(bào);1984年02期

3 齊先義;;模糊統(tǒng)計(jì)推理[J];海軍工程大學(xué)學(xué)報(bào);1985年04期

4 瞿文吉,張鴻姿,藍(lán)祖云,俞潔,張人驤,王晉蓮,張葵,張亮;生物鉸的研究[J];科學(xué)通報(bào);1989年20期

5 辛?xí)詴?陳述的真理類(lèi)型論[J];自然辯證法研究;1990年04期

6 陸天虹,王靜龍;帶有額外參數(shù)連接函數(shù)的廣義線(xiàn)性模型[J];數(shù)學(xué)的實(shí)踐與認(rèn)識(shí);1993年01期

7 湯連生,高云福;地下水系統(tǒng)整體擬合的構(gòu)思及其建模的操作性分析[J];水文地質(zhì)工程地質(zhì);1993年01期

8 胡漢平，李德華;模糊缺省推理的理論和方法研究[J];華中理工大學(xué)學(xué)報(bào);1994年05期

9 孟子厚，，趙松齡，倪乃琛，王佐民;時(shí)頻分析的模糊性及應(yīng)用[J];同濟(jì)大學(xué)學(xué)報(bào)(自然科學(xué)版);1994年02期

10 李俊亭，王文科;西北地區(qū)五城市大型水源地地下水流模型若干問(wèn)題研究[J];西安工程學(xué)院學(xué)報(bào);1994年02期

相關(guān)會(huì)議論文 前6條

1 邱小杉;何寧;董峰;魏長(zhǎng)華;;基于模糊推理的法醫(yī)人體骨骼個(gè)人識(shí)別專(zhuān)家系統(tǒng):RLXES[A];1998年中國(guó)智能自動(dòng)化學(xué)術(shù)會(huì)議論文集（上冊(cè)）[C];1998年

2 李茂青;;MIS與DSS中的廣義模糊檢索及其實(shí)現(xiàn)[A];1993中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];1993年

3 黃益廣;劉正林;;證據(jù)分析在企業(yè)診斷中的應(yīng)用[A];2001年中國(guó)管理科學(xué)學(xué)術(shù)會(huì)議論文集[C];2001年

4 劉志洪;顧寧;;制造業(yè)設(shè)計(jì)知識(shí)的模糊分類(lèi)[A];全國(guó)第13屆計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)（CAD/CG）學(xué)術(shù)會(huì)議論文集[C];2004年

5 張堅(jiān)毅;李小奇;張會(huì)峰;單樹(shù)森;;飛行模擬器效費(fèi)分析研究[A];第五屆全國(guó)仿真器學(xué)術(shù)會(huì)論文集[C];2004年

6 王國(guó)俊;;數(shù)理邏輯中的數(shù)值化方法(英文)[A];第12屆全國(guó)模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會(huì)論文集[C];2004年

相關(guān)重要報(bào)紙文章 前10條

1 江西 史濟(jì)永;光纖、同軸傳輸淺談[N];電子報(bào);2000年

2 Tom Nousaine 著 徐學(xué)楷譯;五部“地震式”超低音[N];信息時(shí)報(bào);2000年

3 $$點(diǎn)評(píng)嘉賓 首都經(jīng)貿(mào)大學(xué)經(jīng)濟(jì)研究所教授 $$吳少平 北大經(jīng)濟(jì)系教授 鐘偉 $$本版采寫(xiě) 劉凌林;利潤(rùn)水分怎么擠？[N];中國(guó)企業(yè)報(bào);2001年

4 中新;國(guó)產(chǎn)葡萄酒企業(yè)亮出質(zhì)量牌[N];中國(guó)消費(fèi)者報(bào);2001年

5 遼寧 周黃果;怎樣改變復(fù)讀機(jī)的音質(zhì)[N];電子報(bào);2003年

6 湖南 歐陽(yáng)明星;簡(jiǎn)單靚聲功放[N];電子報(bào);2003年

7 石小宏;信息化叫板傳統(tǒng)教學(xué)[N];四川日?qǐng)?bào);2003年

8 劉信義 趙捷;傾力打造營(yíng)銷(xiāo)網(wǎng)絡(luò)[N];中國(guó)建材報(bào);2004年

9 四川 胡杉;湖山SM23100型校園智能廣播系統(tǒng)介紹（一）[N];電子報(bào);2004年

10 魯優(yōu);IT認(rèn)證八大注意事項(xiàng)[N];江蘇經(jīng)濟(jì)報(bào);2004年

相關(guān)博士學(xué)位論文 前1條

1 王谷亮;DNA聚合酶β在烷化劑MNNG引起的非定標(biāo)性突變中的作用[D];浙江大學(xué);2002年

相關(guān)碩士學(xué)位論文 前7條

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

2 鄧志宇;中凸變橢圓活塞車(chē)削控制系統(tǒng)研究[D];廣東工業(yè)大學(xué);2004年

3 于海濤;虛擬樣機(jī)圖形視與總線(xiàn)模擬實(shí)現(xiàn)[D];西北工業(yè)大學(xué);2004年

4 李軍;數(shù)據(jù)挖掘方法及其在上市公司中的應(yīng)用研究[D];湖南大學(xué);2004年

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

6 朱鳳芝;基于紫外熒光信號(hào)的人民幣真?zhèn)舞b別裝置的研究[D];天津大學(xué);2004年

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

本文編號(hào)：2098027