本文關(guān)鍵詞：信息系統(tǒng)更新的自動機(jī)　出處：《邏輯學(xué)研究》2015年01期 　論文類型：期刊論文

  更多相關(guān)文章： 信息系統(tǒng) 動態(tài) 自動機(jī) 模型檢測

【摘要】：通過引入信息等價和信息范式這兩個主要概念,給出了信息系統(tǒng)更新的自動機(jī)。用自動機(jī)理論給出信息系統(tǒng)更新的模型的刻畫,證明了星動作算子在信息系統(tǒng)的動態(tài)更新的邏輯系統(tǒng)的引入的不必要性,并且得到了自動機(jī)的語言和信息更新的聯(lián)系。最后利用自動機(jī)理論研究了信息系統(tǒng)及其更新邏輯系統(tǒng)的模型檢測的時間復(fù)雜性。
[Abstract]:By introducing the information equivalence and the information paradigm of the two main concepts, gives the updated information system. Describe the automaton updated with the information given system automaton model, proved that the logic system of star action operator in the dynamic information system updates the introduction of unnecessary, and obtained the automaton language and information update the time complexity of model checking. Finally using the automaton theory to study the information system and update logic system.

【作者單位】： 中山大學(xué)邏輯與認(rèn)知研究所;
【分類號】：B81
【正文快照】： 粗糙集理論中的知識表達(dá)方式([12,13])一般采用信息表或稱為信息系統(tǒng)的形式,對于粗糙集理論的邏輯推理系統(tǒng)來說,粗糙集公理系統(tǒng)是至關(guān)重要的。自從Lin在文[9]首次用公理化方法研究粗糙集之后,出現(xiàn)了許多關(guān)于粗糙集理論公理化方法方面的研究。([3,8,10,11,15,17])Khan利用公理

【參考文獻(xiàn)】

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

1 祝峰,何華燦;粗集的公理化[J];計算機(jī)學(xué)報;2000年03期

【共引文獻(xiàn)】

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

1 代建華,潘云鶴;相似關(guān)系粗糙集理論的一個極小公理組[J];復(fù)旦學(xué)報(自然科學(xué)版);2004年05期

2 劉永紅;;廣義近似空間與粗糙分類代數(shù)[J];中國工程科學(xué);2006年03期

3 劉德金;;拓?fù)淇臻g關(guān)于子基的分離性[J];大學(xué)數(shù)學(xué);2011年03期

4 曹發(fā)生;張家鋒;黃飛丹;聶登國;;決策邏輯的圖論模型[J];畢節(jié)學(xué)院學(xué)報;2014年08期

5 PEI Dao-wu;;On uniqueness of (fuzzy) relation in some generalized rough set model[J];Applied Mathematics:A Journal of Chinese Universities(Series B);2014年03期

6 楊勇;朱曉鐘;李廉;;直覺模糊粗糙集的公理化[J];合肥工業(yè)大學(xué)學(xué)報(自然科學(xué)版);2010年04期

7 鄧漢元;;粗集的性質(zhì)[J];湖南師范大學(xué)自然科學(xué)學(xué)報;2007年03期

8 祝峰;粗集理論中的相容關(guān)系[J];華僑大學(xué)學(xué)報(自然科學(xué)版);2001年02期

9 周雪娟;粗糙近似算子在無限論域上的特征刻劃[J];淮陰工學(xué)院學(xué)報;2005年03期

10 楊勇;朱曉鐘;李廉;;覆蓋粗糙集的公理化[J];計算機(jī)科學(xué);2009年05期

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

1 Lishi Zhang;;Lattice Description of Approximation Space[A];第25屆中國控制與決策會議論文集[C];2013年

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

1 胡軍;基于覆蓋的粒計算模型及其應(yīng)用研究[D];西安電子科技大學(xué);2010年

2 孔芝;粗糙集理論若干問題的研究與應(yīng)用[D];東北大學(xué);2009年

3 蘇健;基于粗糙集的數(shù)據(jù)挖掘與決策支持方法研究[D];浙江大學(xué);2002年

4 許琦;粗糙集理論在旋轉(zhuǎn)機(jī)械故障診斷技術(shù)上應(yīng)用的研究[D];南京工業(yè)大學(xué);2003年

5 管延勇;粗糙集與信息系統(tǒng)約簡—決策規(guī)則優(yōu)化[D];山東大學(xué);2006年

6 薛占熬;柔性區(qū)間邏輯及推理研究[D];西北工業(yè)大學(xué);2006年

7 李凡;Rough集理論及其應(yīng)用中若干問題的研究[D];電子科技大學(xué);2008年

8 王耘;粗糙集與粗糙函數(shù)模型研究[D];山東大學(xué);2008年

9 黃國順;基于粗糙集的決策表知識約簡研究[D];華中科技大學(xué);2007年

10 邱桃榮;面向本體學(xué)習(xí)的粒計算方法研究[D];北京交通大學(xué);2009年

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

1 呂方蘇;基于粒計算的上下文信息處理研究[D];武漢理工大學(xué);2011年

2 梅磊;粗糙集和粒計算交叉問題的研究[D];武漢理工大學(xué);2011年

3 馬周明;幾類粗糙近似算子及其公理化[D];漳州師范學(xué)院;2011年

4 吳燕華;區(qū)間直覺模糊集若干問題的研究[D];漳州師范學(xué)院;2011年

5 姜玉蘋;粗糙集屬性約簡算法設(shè)計與實現(xiàn)[D];電子科技大學(xué);2011年

6 王芳;基于屬性重要度的屬性約簡算法研究[D];電子科技大學(xué);2011年

7 趙磊;粗糙集在采礦方法選擇規(guī)則挖掘中的應(yīng)用及軟件開發(fā)[D];昆明理工大學(xué);2011年

8 孫巍巍;基于多指標(biāo)群決策理論的股票預(yù)測系統(tǒng)研究[D];昆明理工大學(xué);2002年

9 胡瀅;粗糙集理論在動態(tài)系統(tǒng)故障檢測與診斷中的應(yīng)用[D];南京理工大學(xué);2004年

10 劉潭仁;基于粗糙集和遺傳算法的空間數(shù)據(jù)挖掘技術(shù)研究[D];重慶大學(xué);2004年

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

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

1 苗奪謙;王玨;;粗糙集理論中知識粗糙性與信息熵關(guān)系的討論[J];模式識別與人工智能;1998年01期

，

本文編號：1365480