【摘要】：以Π系統(tǒng)為背景,針對由單個原子生成的公式,解決了王國俊教授提出的函數(shù)決定公式的問題(VDF問題),即滿足什么條件的函數(shù)可由邏輯公式導出,或邏輯公式的真值函數(shù)的特征如何;進而按照邏輯等價的關(guān)系將由單原子生成的公式集進行細致地分類;最后又給出了由單個原子生成的公式的真度分布情況。
[Abstract]:In view of the formula generated by a single atom, the problem of the functional decision formula (VDF problem) proposed by Professor Wang Guojun is solved, that is, the function satisfying what conditions can be derived from the logical formula. Or the characteristics of the truth function of the logical formula; then the formula set generated by a single atom is classified in detail according to the relation of logical equivalence; finally, the distribution of the truth degree of the formula generated by a single atom is given.
【作者單位】： 聊城大學數(shù)學科學學院;
【基金】：教育部科學技術(shù)研究重點項目No.206089~~
【分類號】：O141.1

【參考文獻】

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

1 任芳;L~*系統(tǒng)中由單個原子生成的公式的真值函數(shù)的特征[J];工程數(shù)學學報;2005年03期

2 王國俊;MV-代數(shù)、BL-代數(shù)、R_0-代數(shù)與多值邏輯[J];模糊系統(tǒng)與數(shù)學;2002年02期

【共引文獻】

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

1 許文艷,韓誠;R_0代數(shù)中的真布爾元[J];寶雞文理學院學報(自然科學版);2003年04期

2 蘇忍鎖;蘊涵格、弱R_o代數(shù)與正則剩余格[J];寶雞文理學院學報(自然科學版);2004年02期

3 尤飛,馮艷賓,李洪興;模糊蘊涵算子及其構(gòu)造(Ⅰ)——模糊蘊涵算子及其性質(zhì)[J];北京師范大學學報(自然科學版);2003年05期

4 尤飛,馮艷賓,王加銀,李洪興;模糊蘊涵算子及其構(gòu)造(Ⅱ)——模糊蘊涵算子的伴隨對及其圈乘算子[J];北京師范大學學報(自然科學版);2004年02期

5 張宇卓,李洪興;基于變權(quán)理論的模糊推理前提約化的一類方法[J];北京師范大學學報(自然科學版);2005年02期

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

7 劉練珍,李開泰;FI代數(shù)同構(gòu)于一族全序FI代數(shù)的直積的子代數(shù)的條件[J];純粹數(shù)學與應用數(shù)學;2004年01期

8 吳恒洋,韓誠;非全序R_0代數(shù)的結(jié)構(gòu)[J];純粹數(shù)學與應用數(shù)學;2004年01期

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

10 王國俊;宋建社;;命題邏輯中的程度化方法[J];電子學報;2006年02期

相關(guān)會議論文 前8條

1 霍書全;鞠實兒;;SLO的代數(shù)結(jié)構(gòu)[A];開放類邏輯論文集[C];2004年

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

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

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

5 任燕;王洪濤;;二值命題邏輯中的極大命題集與完備命題集[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

6 潘小東;徐揚;;基于Lukasiewicz蘊涵代數(shù)的模糊命題邏輯的語法理論[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

7 胡明娣;于鵬;王國俊;;蘊涵格的正規(guī)MP-濾子與素濾子[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

8 王國俊;;Fuzzy邏輯與有序代數(shù)[A];中國系統(tǒng)工程學會模糊數(shù)學與模糊系統(tǒng)委員會第十一屆年會論文選集[C];2002年

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

1 樊磊;Domain理論中若干問題的研究[D];首都師范大學;2001年

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

3 趙光峰;格蘊涵代數(shù)與圖的升分解問題的研究[D];西南交通大學;2002年

4 馬駿;基于格蘊涵代數(shù)的格值邏輯系統(tǒng)及其自動推理的研究[D];西南交通大學;2002年

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

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

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

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

9 沈暉;基于知識管理的企業(yè)集成支撐技術(shù)研究[D];清華大學;2003年

10 劉曉紅;關(guān)于企業(yè)人力資源評價信息處理系統(tǒng)的研究[D];西南交通大學;2004年

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

1 任芳;互為伴隨的三角模與蘊涵算子及蘊涵算子的逼近問題[D];陜西師范大學;2001年

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

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

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

5 �，幹�;L～*謂詞邏輯與R_0代數(shù)性質(zhì)新探[D];陜西師范大學;2003年

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

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

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

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

10 賈國恒;盧卡西維茨多值邏輯及其與一些邏輯的比較[D];河南大學;2003年

【二級參考文獻】

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

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

2 任芳;R_0-代數(shù)上的同余關(guān)系[J];工程數(shù)學學報;2001年01期

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

4 何穎俞,王國俊;L~*-Lindenbaum代數(shù)的結(jié)構(gòu)與L~*公理系統(tǒng)的簡化形式[J];工程數(shù)學學報;1998年01期

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

6 王國俊;模糊推理的全蘊涵三I算法[J];中國科學E輯;1999年01期

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

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

9 程國勝;R_0代數(shù)中的濾子與理想[J];模糊系統(tǒng)與數(shù)學;2001年01期

10 王國俊;MV-代數(shù)、BL-代數(shù)、R_0-代數(shù)與多值邏輯[J];模糊系統(tǒng)與數(shù)學;2002年02期

相關(guān)會議論文 前2條

1 李志偉;李桂華;;Fuzzy蘊涵代數(shù)的若干性質(zhì)[A];模糊集理論與模糊應用專輯——中國系統(tǒng)工程學會模糊數(shù)學與模糊系統(tǒng)委員會第十屆年會論文選集[C];2000年

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

【相似文獻】

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

1 馬華孝;;沃爾什函數(shù)序數(shù)轉(zhuǎn)換的邏輯分析與網(wǎng)絡設計[J];四川大學學報(工程科學版);1980年02期

2 馮玉琳;程序形式語義的一致性[J];中國科學技術(shù)大學學報;1983年01期

3 劉清;;一種逐步逆推設計程序的方法[J];計算機科學;1983年06期

4 王士鐵;一種新的輸入格式[J];廈門大學學報(自然科學版);1984年02期

5 唐稚松,鄭茂松,李新;二級形式語義與語義導引編譯[J];中國科學A輯;1985年06期

6 郭炳炎;專家系統(tǒng)中的非單調(diào)推理[J];山西大學學報(自然科學版);1986年03期

7 李鳳鳴;狹謂詞邏輯的布爾模型[J];內(nèi)蒙古師范大學學報(自然科學漢文版);1988年01期

8 鄒開其,徐揚;一類新的Fuzzy邏輯公式的化簡方法[J];大連海事大學學報;1989年03期

9 潘久輝;;部分賦值一階邏輯公式的條件求值——NP完全性及在特定情況下的求解[J];中南大學學報(自然科學版);1989年02期

10 劉清;基于時態(tài)邏輯演算的程序驗證[J];南昌大學學報(理科版);1990年03期

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

1 楊學淵;;辯證命題的語形、語義和語用分析[A];1993年邏輯研究專輯[C];1993年

2 張金興;;類推是類比推理嗎?[A];1994年邏輯研究專輯[C];1994年

3 何庸;;《廣義模態(tài)邏輯》值得細讀[A];1995年邏輯研究專輯[C];1995年

4 謝先仁;;論辯證矛盾和邏輯矛盾的區(qū)別及識別[A];邏輯今探——中國邏輯學會第五次代表大會暨學術(shù)討論會論文集[C];1996年

5 鄒崇理;;范疇語法與加標演繹系統(tǒng)[A];1997年邏輯研究專輯[C];1997年

6 王玨;崔佳;;歸納機器學習的研究[A];1999年中國智能自動化學術(shù)會議論文集（上冊）[C];1999年

7 田國會;劉長有;徐心和;;離散事件動態(tài)系統(tǒng)理論的時態(tài)邏輯研究方法[A];1996中國控制與決策學術(shù)年會論文集[C];1996年

8 左小德;梁云;廖志剛;;一種推理系統(tǒng)及其啟發(fā)式算法[A];1998中國控制與決策學術(shù)年會論文集[C];1998年

9 康巧茹;;探討描述禁止類型法律規(guī)范命題內(nèi)涵語義的方法[A];邏輯研究文集——中國邏輯學會第六次代表大會暨學術(shù)討論會論文集[C];2000年

10 倪鼎夫;;為霞尚滿天[A];邏輯、語言與思維——周禮全先生八十壽辰紀念文集[C];2001年

相關(guān)重要報紙文章 前7條

1 臧樂源;提高學生的邏輯素養(yǎng)[N];中國教育報;2000年

2 本報特約記者　何天進　董聚山　通訊員　李祖斌　記者　喻國英;博士參謀礪劍尖兵[N];光明日報;2004年

3 本報記者 袁躍;遏制國有資產(chǎn)流失“路在何方”[N];財會信報;2005年

4 宋俊嶺;獨處場所——當今城市的缺項[N];中國房地產(chǎn)報;2007年

5 郭珊;假如王小波活到今天[N];南方日報;2007年

6 彭勁榮;法律適用中的解釋與推理[N];人民法院報;2007年

7 上海交通大學法學院教授、博士研究生導師 張紹謙;瀆職犯罪案件中因果關(guān)系的判斷[N];檢察日報;2009年

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

1 姚紹文;語義化Web的關(guān)鍵技術(shù)及其應用研究[D];電子科技大學;2002年

2 馬駿;基于格蘊涵代數(shù)的格值邏輯系統(tǒng)及其自動推理的研究[D];西南交通大學;2002年

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

4 劉全;基于tableau的自動推理研究[D];吉林大學;2004年

5 孟丹;基于格蘊涵代數(shù)的格值邏輯系統(tǒng)的歸結(jié)自動推理研究[D];西南交通大學;2004年

6 吳平;漢語部分句式的形式語義分析[D];北京語言大學;2005年

7 劉劍;傳值進程與移動進程的模型檢測方法[D];中國科學院研究生院（軟件研究所）;2005年

8 王馨;基于實時規(guī)約的測試預言自動生成技術(shù)的研究[D];國防科學技術(shù)大學;2005年

9 方細明;量子計算的核磁共振實現(xiàn)[D];中國科學院研究生院（武漢物理與數(shù)學研究所）;1999年

10 彭新華;量子算法和量子信息處理的核磁共振實現(xiàn)[D];中國科學院研究生院（武漢物理與數(shù)學研究所）;2003年

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

1 曲文敬;Java語言的異常處理機制的公理語義[D];大連理工大學;2004年

2 李軍波;Semantic Web的研究及其在網(wǎng)絡教學系統(tǒng)中的應用[D];大連理工大學;2003年

3 劉振晗;基于廣義歸結(jié)的程序綜合[D];大連理工大學;2005年

4 陳飛;基于指紋加密技術(shù)的網(wǎng)絡身份認證研究及應用[D];南京信息工程大學;2005年

5 簡麗;“別說”句式研究[D];北京語言大學;2005年

6 秦曉燕;關(guān)于PI證明的若干注記以及邏輯公式的真度理論[D];陜西師范大學;2005年

7 汪德剛;模糊模態(tài)命題邏輯及其廣義重言式[D];遼寧師范大學;2005年

8 杜輝;基于歸結(jié)原理的程序綜合設計與實現(xiàn)[D];大連理工大學;2006年

9 黃丫;基于模型檢測的可診斷性的形式化檢驗研究[D];吉林大學;2006年

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

，

本文編號：2159353