本文關(guān)鍵詞： 邏輯系統(tǒng)Luk 真度 偽距離 賦值函數(shù)　出處：《模糊系統(tǒng)與數(shù)學(xué)》2010年04期 　論文類(lèi)型：期刊論文

【摘要】：在邏輯系統(tǒng)Lukasiewicz中,利用序結(jié)構(gòu)知識(shí)和賦值函數(shù)的性質(zhì)來(lái)研究公式間的偽距離,避開(kāi)了n重積分的復(fù)雜計(jì)算,推出了積分真度與偽距離之間以及偽距離相互之間的若干等式與不等式,特別是得到了偽距離關(guān)于運(yùn)算"崴""懔"的若干新性質(zhì),從而給出了在偽距離空間中運(yùn)算"■""→""∨""∧""崴""懔"關(guān)于偽距離均連續(xù)這一重要定理的簡(jiǎn)潔證明。
[Abstract]:In the logic system Lukasiewicz, the pseudo-distance between formulas is studied by using the knowledge of order structure and the properties of assignment function, and the complex calculation of n-fold integral is avoided. Some equations and inequalities between the true degree of integral and pseudo-distance and between pseudo-distance are derived. In particular, some new properties of pseudo-distance about the operation "Wei" and "apocalypse" are obtained. Thus, the operation "" "in pseudo-distance space is given. 鈫払rief proof of the important Theorem of the continuity of Pseudo-distance.
【作者單位】： 鹽城師范學(xué)院數(shù)學(xué)科學(xué)學(xué)院;
【基金】：江蘇省高校自然科學(xué)基礎(chǔ)研究項(xiàng)目(08KJD110008)
【分類(lèi)號(hào)】：O141.1
【正文快照】： 1引言如何將數(shù)值計(jì)算的思想融入到數(shù)理邏輯中來(lái),將數(shù)理邏輯的符號(hào)化與計(jì)算數(shù)學(xué)的數(shù)值計(jì)算、近似求解聯(lián)系起來(lái),使形式化的數(shù)理邏輯具有靈活性并擴(kuò)大其應(yīng)用范圍,這是長(zhǎng)期以來(lái)許多學(xué)者探討的問(wèn)題[1-8]。計(jì)量邏輯學(xué)[9]的建立,使命題邏輯系統(tǒng)的程度化思想得以實(shí)現(xiàn),架起了形式邏輯

【參考文獻(xiàn)】

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

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

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

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

【共引文獻(xiàn)】

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

1 劉保翠;王國(guó)俊;;命題集F(S)基于相似關(guān)系定義的拓?fù)鋄J];安康學(xué)院學(xué)報(bào);2007年03期

2 王廷明;;二值命題邏輯中的蘊(yùn)涵度量與近似推理[J];重慶師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年03期

3 亓正坤;王廷明;丁潔玉;;二值命題邏輯中限制邏輯等價(jià)關(guān)系及其應(yīng)用[J];東北師大學(xué)報(bào)(自然科學(xué)版);2012年02期

4 王廷明;;二值命題邏輯中Г-的蘊(yùn)涵距離和近似推理[J];德州學(xué)院學(xué)報(bào);2008年06期

5 袁彥莉;張興芳;;G_n命題邏輯系統(tǒng)中絕對(duì)真度的理論研究[J];德州學(xué)院學(xué)報(bào);2009年04期

6 王廷明;;二值命題邏輯中有限理論的相對(duì)偏差及其應(yīng)用[J];德州學(xué)院學(xué)報(bào);2010年02期

7 王國(guó)俊;惠小靜;;概率邏輯學(xué)基本定理的推廣[J];電子學(xué)報(bào);2007年07期

8 張東曉;李立峰;;二值命題邏輯公式的語(yǔ)構(gòu)程度化方法[J];電子學(xué)報(bào);2008年02期

9 李璧鏡;王國(guó)俊;;正則蘊(yùn)涵算子所對(duì)應(yīng)的邏輯偽度量空間[J];電子學(xué)報(bào);2010年03期

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

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

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

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

3 張鳳姣;張興芳;李成允;;G銉del邏輯中真值函數(shù)特征及真度分布[A];第八屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2010年

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

1 馬麗娜;模糊推理方法及知識(shí)推理的計(jì)量化研究[D];陜西師范大學(xué);2011年

2 胡明娣;邏輯度量空間的內(nèi)蘊(yùn)結(jié)構(gòu)的研究[D];陜西師范大學(xué);2011年

3 韓邦合;賦值代數(shù)分裂算法與隱性半環(huán)賦值研究[D];陜西師范大學(xué);2011年

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

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

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

7 周湘南;與剩余格相關(guān)的幾類(lèi)邏輯代數(shù)系統(tǒng)的研究[D];湖南大學(xué);2008年

8 俞峰;基于直覺(jué)區(qū)間值模糊理論的近似推理與多屬性決策研究[D];南京理工大學(xué);2008年

9 惠小靜;計(jì)量邏輯學(xué)及其隨機(jī)化研究[D];陜西師范大學(xué);2008年

10 李明泉;模糊描述邏輯F-SHIQ公理體系及其推理機(jī)制的研究[D];天津大學(xué);2008年

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

1 李四化;幾種多值邏輯系統(tǒng)重言式關(guān)系和L_4中導(dǎo)出函數(shù)問(wèn)題的研究[D];山東大學(xué);2010年

2 董美霞;基于語(yǔ)義網(wǎng)模糊本體的知識(shí)推理研究[D];大連海事大學(xué);2011年

3 王玲玲;一種基于需求上下文和推薦的Web服務(wù)信任評(píng)估模型研究[D];西南大學(xué);2011年

4 范欣;幾種邏輯代數(shù)的剩余格刻畫(huà)及命題邏輯系統(tǒng)中條件真度的比較[D];陜西師范大學(xué);2011年

5 程紅梅;幾種邏輯度量空間中的反射變換[D];陜西師范大學(xué);2011年

6 劉匯洋;若干廣義t-模及相關(guān)模糊邏輯系統(tǒng)[D];寧波大學(xué);2010年

7 高建兵;基于遺傳算法的模糊推理控制系統(tǒng)的參數(shù)優(yōu)化研究[D];遼寧工程技術(shù)大學(xué);2011年

8 鄒偉偉;中醫(yī)兒童性早熟智能診斷算法研究[D];東華大學(xué);2012年

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

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

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

相關(guān)期刊論文 前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輯:技術(shù)科學(xué);1998年02期

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

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

2 李駿,黎鎖平,夏亞峰;Lukasiewicz n值命題邏輯中命題的真度理論[J];數(shù)學(xué)學(xué)報(bào);2004年04期

3 李駿,蘭倩,黎鎖平;Lukasiewicz三值命題邏輯中命題的真度理論[J];模糊系統(tǒng)與數(shù)學(xué);2004年04期

4 劉艷,鄭慕聰;Lukasiewicz多值邏輯系統(tǒng)中的相似度及偽距離[J];西安科技大學(xué)學(xué)報(bào);2005年02期

5 馬盈倉(cāng);張美;崔美英;;Frank三角范數(shù)的三值模糊邏輯系統(tǒng)的真度理論[J];廣西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2011年03期

6 李駿;夏亞峰;蘭倩;;n值標(biāo)準(zhǔn)序列邏輯系統(tǒng)中的近似推理理論[J];蘭州理工大學(xué)學(xué)報(bào);2006年02期

7 王廷明;王愛(ài)青;;二值命題邏輯中偽距離的真度表示及其應(yīng)用[J];青島理工大學(xué)學(xué)報(bào);2008年03期

8 王廷明;嚴(yán)文海;;二值命題邏輯中基于前提信息的近似推理理論[J];模糊系統(tǒng)與數(shù)學(xué);2009年02期

9 王廷明;王愛(ài)青;;二值命題邏輯中的偽距離不等式與近似推理[J];青島理工大學(xué)學(xué)報(bào);2009年03期

10 王愛(ài)青;王廷明;;二值命題邏輯中有限理論數(shù)值特征的真度研究[J];大學(xué)數(shù)學(xué);2009年05期

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

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

2 陳棟梁;王浩;姚宏亮;;一種支持向量機(jī)大規(guī)模數(shù)據(jù)集訓(xùn)練算法[A];中國(guó)儀器儀表學(xué)會(huì)第九屆青年學(xué)術(shù)會(huì)議論文集[C];2007年

3 王茹;王國(guó)俊;;一種新的理論的相容度及近似推理方法[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

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

5 張鳳姣;張興芳;李成允;;G銉del邏輯中真值函數(shù)特征及真度分布[A];第八屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2010年

6 趙鋼;鄒彬;張劍;;基于模糊規(guī)則集的入侵檢測(cè)模型——網(wǎng)絡(luò)與信息安全事件處理[A];第二十一次全國(guó)計(jì)算機(jī)安全學(xué)術(shù)交流會(huì)論文集[C];2006年

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

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

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

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

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

1 王蘇伊 王立嘉;想在北京買(mǎi)假名牌難了[N];市場(chǎng)報(bào);2005年

2 小馬;走近LCD[N];中國(guó)電腦教育報(bào);2002年

3 金娜;皮裝選購(gòu)有訣竅[N];大眾科技報(bào);2000年

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

5 吳挺;進(jìn)軍專(zhuān)業(yè)繪圖市場(chǎng)[N];計(jì)算機(jī)世界;2003年

6 記者 齊中熙;會(huì)計(jì)五假太可怕[N];新華每日電訊;2001年

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

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

9 周燕虎 本報(bào)特約通訊員 項(xiàng)志明;信息技術(shù)讓火炮“走”進(jìn)實(shí)驗(yàn)室[N];解放軍報(bào);2005年

10 黃璐;識(shí)別假火車(chē)票有絕招[N];山西經(jīng)濟(jì)日?qǐng)?bào);2004年

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

1 王慶平;邏輯度量空間中的仿射變換和幾類(lèi)特殊公式的性態(tài)研究及其應(yīng)用[D];陜西師范大學(xué);2012年

2 惠小靜;計(jì)量邏輯學(xué)及其隨機(jī)化研究[D];陜西師范大學(xué);2008年

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

4 馬麗娜;模糊推理方法及知識(shí)推理的計(jì)量化研究[D];陜西師范大學(xué);2011年

5 韓邦合;賦值代數(shù)分裂算法與隱性半環(huán)賦值研究[D];陜西師范大學(xué);2011年

6 胡明娣;邏輯度量空間的內(nèi)蘊(yùn)結(jié)構(gòu)的研究[D];陜西師范大學(xué);2011年

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

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

2 高香妮;命題邏輯系統(tǒng)中理論的真度概念及其應(yīng)用[D];陜西師范大學(xué);2010年

3 謝晶晶;L_n系統(tǒng)和L_n*系統(tǒng)中的真度理論[D];陜西師范大學(xué);2012年

4 李海亞;n值SMTL系統(tǒng)中命題的∑-（[α，，β]-真度）理論[D];蘭州理工大學(xué);2012年

5 任鵬飛;命題邏輯公式集上的相似度、偽距離與近似推理[D];西北大學(xué);2008年

6 崔艷麗;R_0代數(shù)的簡(jiǎn)化以及相對(duì)真度的相關(guān)性質(zhì)研究[D];陜西師范大學(xué);2010年

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

8 高菲菲;多值命題邏輯中若干邏輯理論的拓?fù)淇坍?huà)[D];陜西師范大學(xué);2008年

9 張瓊;BL_△~*形式系統(tǒng)與NM（?）形式系統(tǒng)的研究[D];陜西師范大學(xué);2010年

10 劉保翠;命題邏輯中公式的Γ蘊(yùn)涵真度及相對(duì)Γ-重言度理論[D];陜西師范大學(xué);2008年

本文編號(hào)：1462500