本文選題：中介邏輯 + 命題演算系統(tǒng)��； 參考：《數(shù)學研究與評論》2006年04期

【摘要】：MP~M系統(tǒng)是在中介邏輯系統(tǒng)的基礎上建立起來的,用于處理數(shù)據(jù)庫中不完全信息的三值邏輯命題演算系統(tǒng)．本文通過在MP~M系統(tǒng)上建立一個代數(shù)系統(tǒng),對MP~M系統(tǒng)進行了代數(shù)抽象,討論了MP~M系統(tǒng)的代數(shù)性質．本文還研究了該代數(shù)系統(tǒng)的次直積,以及與其它一些代數(shù)系統(tǒng)之間的關系．
[Abstract]:The MP~M system is a ternary logic propositional calculus system based on the intermediary logic system, which is used to deal with incomplete information in the database.In this paper, an algebraic system is established on MP~M system, and algebraic abstraction of MP~M system is given. The algebraic properties of MP~M system are discussed.In this paper, we also study the subdirect product of the algebraic system and its relationship with some other algebraic systems.
【作者單位】： 南京航空航天大學信息科學與技術學院 南京航空航天大學信息科學與技術學院 南京航空航天大學信息科學與技術學院
【基金】：計算機軟件新技術國家重點實驗室(南京大學)開放課題：數(shù)據(jù)庫中的不完全信息與不一致信息研究 973計劃 “海量信息系統(tǒng)規(guī)律、模型和維護機理研究”子課題海量信息系統(tǒng)知識與管理研究(G1999032701)
【分類號】：O141.1

【參考文獻】

相關期刊論文 前1條

1 潘吟,吳望名;中介代數(shù)(英文)[J];數(shù)學研究與評論;1990年02期

【共引文獻】

相關期刊論文 前10條

1 王海濤;徐靜;康淑衛(wèi);王倩;;中介數(shù)學系統(tǒng)已建立,為什么還會產(chǎn)生模糊數(shù)學危機[J];純粹數(shù)學與應用數(shù)學;2011年06期

2 成偉君;;高等數(shù)學中“拋球悖論”初探和啟發(fā)[J];成功(教育);2010年07期

3 莫志浩;中介命題系統(tǒng)MP推理規(guī)則的獨立性問題[J];解放軍理工大學學報(自然科學版);2001年05期

4 潘正華;;中介命題邏輯的一種無窮值語義模型及其意義[J];計算機研究與發(fā)展;2008年S1期

5 徐雯霞;劉練珍;;MP~M中介代數(shù)的性質[J];江南大學學報(自然科學版);2009年04期

6 成偉君;;歌德爾不完備性定理的初步探究[J];佳木斯教育學院學報;2010年04期

7 蘇發(fā)慧;;模糊集的2個錯誤[J];吉首大學學報(自然科學版);2012年02期

8 程天笑;潘正華;王岑;;基于中介邏輯的近似推理[J];計算機工程與應用;2009年21期

9 王岑;潘正華;程天笑;;基于中介邏輯的模糊知識推理的搜索處理[J];計算機工程與應用;2009年21期

10 張勝禮;潘正華;;中介命題邏輯一種新的無窮值語義模型及意義[J];計算機工程與應用;2010年31期

相關會議論文 前3條

1 陳其樓;潘正華;;謂詞邏輯中有關函數(shù)及其部分性質的形式描述[A];邏輯學及其應用研究——第四屆全國邏輯系統(tǒng)、智能科學與信息科學學術會議論文集[C];2008年

2 毛宇光;徐潔磐;周勇;;不完全信息數(shù)據(jù)庫的邏輯[A];第十七屆全國數(shù)據(jù)庫學術會議論文集（研究報告篇）[C];2000年

3 毛宇光;徐潔磐;劉滔;周勇;;用于不完全信息數(shù)據(jù)庫的中介邏輯演算系統(tǒng)MP~M[A];第十八屆全國數(shù)據(jù)庫學術會議論文集（研究報告篇）[C];2001年

相關博士學位論文 前4條

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

2 洪龍;中介真值程度的度量及其在計算機系統(tǒng)結構研究中的應用[D];南京航空航天大學;2006年

3 周勇;邏輯程序及其在安全協(xié)議驗證中的應用[D];南京航空航天大學;2006年

4 徐敏;基于數(shù)據(jù)挖掘的Web信息檢索研究[D];南京航空航天大學;2006年

相關碩士學位論文 前10條

1 張麗珍;基于中介邏輯的模糊信息處理的研究[D];江南大學;2010年

2 賈海濤;模糊知識表示及模糊推理的研究[D];江南大學;2011年

3 楊婷婷;基于中介真值程度度量的圖像分割方法研究[D];南京郵電大學;2012年

4 謝丁;基于MMTD的模糊語義量化研究[D];南京郵電大學;2012年

5 韓波;不完全信息數(shù)據(jù)庫研究[D];南京航空航天大學;2003年

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

7 黃川;非線性信念變化的研究[D];南京航空航天大學;2004年

8 皋軍;基于模糊理論的數(shù)據(jù)挖掘技術的研究與應用[D];南京航空航天大學;2004年

9 金仁康;用于不完全信息數(shù)據(jù)庫的邏輯系統(tǒng)研究[D];南京航空航天大學;2004年

10 潘娜;不完全信息系統(tǒng)的理論研究[D];南京航空航天大學;2005年

【相似文獻】

相關期刊論文 前10條

1 毛宇光,朱劍英,顧紅芳;中介邏輯演算系統(tǒng)MP~N及MF~N[J];模糊系統(tǒng)與數(shù)學;1999年02期

2 莫志浩;中介命題系統(tǒng)MP推理規(guī)則的簡化[J];解放軍理工大學學報(自然科學版);2001年01期

3 蔣清福;“中介原理”初論[J];探索;1987年04期

4 譚乃;MP~*系統(tǒng)中命題聯(lián)結詞的完全性[J];石油天然氣學報;1987年02期

5 陳煒,王雨田;歸納問題:休謨的挑戰(zhàn)和中介邏輯的解釋[J];現(xiàn)代哲學;1988年02期

6 姚楠,顧紅芳,肖奚安;MP~* 中的等值完全析取范式[J];南京航空航天大學學報;1998年04期

7 侯維民,董春霞;談高等代數(shù)理論的三條主線[J];天水師范學院學報;2004年05期

8 劉粵生，方軍雄;類比邏輯、中介邏輯與悖論──兼論黃展驥的一分為三邏輯[J];天府新論;1996年05期

9 周健勇;;命題演算系統(tǒng)S的概率模型[J];數(shù)學的實踐與認識;2006年12期

10 施慶生，，張東摩;基于中介邏輯的多模態(tài)邏輯系統(tǒng)[J];南京航空航天大學學報;1996年01期

相關會議論文 前10條

1 孫愛國;趙立軍;趙貴仁;;L-Fuzzy正規(guī)子群的刻劃[A];模糊集理論與應用——98年中國模糊數(shù)學與模糊系統(tǒng)委員會第九屆年會論文選集[C];1998年

2 毛宇光;徐潔磐;劉滔;周勇;;用于不完全信息數(shù)據(jù)庫的中介邏輯演算系統(tǒng)MP~M[A];第十八屆全國數(shù)據(jù)庫學術會議論文集（研究報告篇）[C];2001年

3 王保紅;魏屹東;;對抽象代數(shù)的哲學審視[A];山西大學2008年全國博士生學術論壇（科學技術哲學）[C];2008年

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

5 趙立軍;王希文;;L—Fuzzy子環(huán)的L—Fuzzy理想的刻劃[A];模糊集理論與模糊應用專輯——中國系統(tǒng)工程學會模糊數(shù)學與模糊系統(tǒng)委員會第十屆年會論文選集[C];2000年

6 江軍;舒適;黃云清;肖映雄;;一類求解二維三溫輻射熱傳導方程的保對稱有限體元方法[A];第七屆全國水動力學學術會議暨第十九屆全國水動力學研討會文集（上冊）[C];2005年

7 武彥平;;通信距離受限的進程代數(shù)研究[A];2009年研究生學術交流會通信與信息技術論文集[C];2009年

8 徐振東;;基于灰代數(shù)系統(tǒng)的灰區(qū)間預測模型[A];第19屆灰色系統(tǒng)全國會議論文集[C];2010年

9 張衡;張武;;三維拋物型初邊值問題的塊三對角可擴展并行算法[A];2007年全國開放式分布與并行計算機學術會議論文集(上冊)[C];2007年

10 陸世潮;孟小峰;林燦;王宇;;OrientX中XQuery的導航式實現(xiàn)[A];第二十一屆中國數(shù)據(jù)庫學術會議論文集（研究報告篇）[C];2004年

相關重要報紙文章 前4條

1 金_g;IT自考學習資源大搜索（一）[N];中國電腦教育報;2002年

2 龐引明;XML數(shù)據(jù)庫：最新進展和發(fā)展方向[N];計算機世界;2004年

3 尤一浩;2002年系統(tǒng)分析員考試紀實[N];中國電腦教育報;2002年

4 尤一浩 司文全;中軟考系統(tǒng)分析員全揭秘[N];計算機世界;2001年

相關博士學位論文 前10條

1 王昌達;隱通道可計算性的研究[D];江蘇大學;2006年

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

3 肖映雄;代數(shù)多重網(wǎng)格算法研究及其在固體力學計算中的應用[D];湘潭大學;2006年

4 梁吉業(yè);基于粗糙集與概念格的智能數(shù)據(jù)分析方法研究[D];中國科學院研究生院（計算技術研究所）;2004年

5 於遒;若干代數(shù)系統(tǒng)的自同構與導子及局部性質[D];中國礦業(yè)大學;2008年

6 周湘南;與剩余格相關的幾類邏輯代數(shù)系統(tǒng)的研究[D];湖南大學;2008年

7 單美靜;求解非線性實代數(shù)系統(tǒng)的混合算法研究[D];華東師范大學;2008年

8 王繼華;幾類具有退化奇點的平面可積系統(tǒng)的擾動[D];上海交通大學;2012年

9 梁鐵林;面向幾何對象語言的設計與實施[D];中國科學技術大學;2007年

10 王利東;基于粗糙集與公理模糊集的形式概念分析[D];大連理工大學;2009年

相關碩士學位論文 前10條

1 張金鳳;R_0代數(shù)的兩類特殊元及其應用[D];陜西師范大學;2011年

2 張麗珍;基于中介邏輯的模糊信息處理的研究[D];江南大學;2010年

3 馬自翥;代數(shù)系統(tǒng)與幺函子范疇[D];浙江大學;2005年

4 黃文濤;在數(shù)據(jù)挖掘中概念格的理論研究[D];蘭州理工大學;2007年

5 金仁康;用于不完全信息數(shù)據(jù)庫的邏輯系統(tǒng)研究[D];南京航空航天大學;2004年

6 酈可;或—符合代數(shù)系統(tǒng)中的表格方法及其應用[D];浙江大學;2006年

7 肖林榮;近代數(shù)字理論中的特殊運算及其應用研究[D];浙江大學;2005年

8 蔣義勇;基于約束概念格的離群數(shù)據(jù)挖掘方法及應用[D];太原科技大學;2007年

9 代美麗;孤立子方程的可積系統(tǒng)及擴展可積系統(tǒng)的若干研究[D];山東科技大學;2007年

10 王欣欣;頻繁加權概念格及天體光譜關聯(lián)知識挖掘系統(tǒng)[D];太原科技大學;2009年

本文編號：1760208