發(fā)布時(shí)間：2017-09-22 18:05

  本文關(guān)鍵詞：命題模態(tài)邏輯S5系統(tǒng)中并行推理方法

  更多相關(guān)文章： 命題模態(tài)邏輯 S公理系統(tǒng) 并行推理 擴(kuò)展規(guī)則

【摘要】：S5系統(tǒng)是一類知識表示能力和處理能力都較強(qiáng)的模態(tài)公理系統(tǒng),它是認(rèn)知邏輯、信念邏輯等非經(jīng)典邏輯理論的基礎(chǔ)。根據(jù)Kripke語義模型以及S5系統(tǒng)中部分公理,對命題模態(tài)邏輯S5公理系統(tǒng)的性質(zhì)進(jìn)行了較為深入的研究,并對S5系統(tǒng)中一類具有代表性的標(biāo)準(zhǔn)模態(tài)子句集的特性進(jìn)行了分析,提出了一種基于擴(kuò)展規(guī)則方法的命題模態(tài)邏輯推理算法(propositional modal clausal reasoning based on novel extension rule,PMCRNER)。針對樸素算法時(shí)間復(fù)雜度較高的問題,利用任務(wù)間潛在的關(guān)聯(lián)性對算法同時(shí)進(jìn)行了粗粒度與細(xì)粒度并行化,提出了并行算法PPMCRNER(parallel PMCRNER)理論框架,并且與基本算法進(jìn)行了對比。實(shí)驗(yàn)結(jié)果表明,PPMCRNER算法在不可滿足的子句集上的推理具有良好的加速比,為高時(shí)間復(fù)雜性的模態(tài)推理方法的進(jìn)一步研究提供了一種可行方案。
【作者單位】： 吉林大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;吉林大學(xué)數(shù)學(xué)學(xué)院;符號計(jì)算與知識工程教育部重點(diǎn)實(shí)驗(yàn)室(吉林大學(xué));
【關(guān)鍵詞】： 命題模態(tài)邏輯 S公理系統(tǒng) 并行推理 擴(kuò)展規(guī)則
【基金】：國家自然科學(xué)基金Nos.61300049,61502197,61503044 高等學(xué)校博士學(xué)科點(diǎn)專項(xiàng)科研基金No.20120061120059~~
【分類號】：TP181
【正文快照】： 1引言 近年來,多種以模態(tài)邏輯為基礎(chǔ)的復(fù)雜公理系統(tǒng)與框架被相繼提出[1-3],關(guān)于模態(tài)邏輯甚至是更高階的邏輯知識表示形式的理論研究逐漸成為人們關(guān)注的熱點(diǎn)[4]。模態(tài)邏輯推理方法的研究是高階公理系統(tǒng)和框架的原型實(shí)現(xiàn)的基礎(chǔ)。自動推理領(lǐng)域主流的推理方法為歸結(jié)方法、表推演

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 ;評弓肇祥新著《廣義模態(tài)邏輯》[J];北方論叢;1996年01期

2 郭孟陶;;默認(rèn)理論的非單調(diào)模態(tài)邏輯[J];計(jì)算機(jī)工程與科學(xué);1989年02期

3 陳波;《廣義模態(tài)邏輯》出版[J];教學(xué)與研究;1997年05期

4 程曉春,孫吉貴,姜云飛;次協(xié)調(diào)的模態(tài)邏輯[J];軟件學(xué)報(bào);1998年11期

5 代利;唐曉嘉;;基于判斷聚合邏輯的偏好聚合分析[J];計(jì)算機(jī)科學(xué);2012年06期

6 江峰;;謂詞模態(tài)邏輯中變量的嚴(yán)格指派問題[J];計(jì)算機(jī)科學(xué);2009年12期

7 時(shí)慧嫻;王國俊;;多值模態(tài)邏輯的計(jì)量化方法[J];軟件學(xué)報(bào);2012年12期

8 鄭軍,朱娟,劉玉樹;基于非常規(guī)模態(tài)邏輯的主體意圖[J];北京理工大學(xué)學(xué)報(bào);2002年04期

9 顏鋒,陳韜略,韓婷婷,呂建;復(fù)制受限的環(huán)境演算中模態(tài)邏輯的內(nèi)涵性[J];武漢大學(xué)學(xué)報(bào)(理學(xué)版);2004年05期

10 馬希文;郭維德;;W—JS有關(guān)“知道”的模態(tài)邏輯[J];計(jì)算機(jī)研究與發(fā)展;1982年12期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 孫衛(wèi)民;;模態(tài)邏輯中幾個(gè)概念的發(fā)展[A];1994年邏輯研究專輯[C];1994年

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

3 馮棉;;模態(tài)邏輯研究中的若干問題[A];1993年邏輯研究專輯[C];1993年

4 孫希文;;模態(tài)邏輯模型的嵌入定理[A];1994年邏輯研究專輯[C];1994年

5 李娜;;認(rèn)識論模態(tài)邏輯E-系統(tǒng)的布爾值模型[A];邏輯、語言與思維——周禮全先生八十壽辰紀(jì)念文集[C];2001年

6 楚白;;有窮深度的模態(tài)邏輯[A];2005年邏輯研究專輯[C];2005年

7 王陽;;模態(tài)邏輯·形式語義·文本符號[A];2003年邏輯研究專輯[C];2003年

8 裘江杰;;一類認(rèn)知詞模態(tài)邏輯Ⅰ:基礎(chǔ)邏輯[A];2007年全國現(xiàn)代邏輯學(xué)術(shù)研討會論文集[C];2007年

9 劉邦凡;;一個(gè)知識表示的廣義模態(tài)邏輯方案[A];2007年全國現(xiàn)代邏輯學(xué)術(shù)研討會論文集[C];2007年

10 劉邦凡;何向東;;一個(gè)“知識”定義的邏輯解釋[A];2007年現(xiàn)代邏輯與邏輯史研討會論文集[C];2007年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前3條

1 史t，

本文編號：902268