發(fā)布時間：2020-09-12 07:33

　　 使用經(jīng)典邏輯對海量知識系統(tǒng)進(jìn)行分析處理和信息挖掘,需要解決的關(guān)鍵問題之一就是司各脫法則問題�；�于對蘊(yùn)涵的一般認(rèn)識,可以對司各脫法則問題提出一種不同于已有邏輯系統(tǒng)的解決策略。在根據(jù)這種策略而建立的知識蘊(yùn)涵命題邏輯系統(tǒng)中:1.蘊(yùn)涵關(guān)系符合直覺;2.經(jīng)典邏輯中基本的邏輯規(guī)律在該系統(tǒng)中得以保留;3.不改變經(jīng)典否定、合取的性質(zhì);4.司各脫法則不成立。在知識蘊(yùn)涵命題邏輯的基礎(chǔ)上,構(gòu)建了一個知識蘊(yùn)涵模態(tài)命題邏輯系統(tǒng),它可以描述包含模態(tài)信息的不協(xié)調(diào)知識系統(tǒng)的推理機(jī)制。根據(jù)給出的形式語義,證明了該系統(tǒng)的可靠性和完全性,并且證明了嚴(yán)格蘊(yùn)涵悖論在該系統(tǒng)中不會出現(xiàn)。

【參考文獻(xiàn)】

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

1 杜國平;馬亮;;哲思邏輯的判定問題[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);2007年05期

2 杜國平;;哲思邏輯——一個形而上學(xué)內(nèi)容的公理體系[J];東南大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);2007年04期

3 杜國平;;經(jīng)典邏輯視野中的弗協(xié)調(diào)邏輯[J];華南師范大學(xué)學(xué)報(bào)(社會科學(xué)版);2007年05期

【共引文獻(xiàn)】

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

1 杜國平;;知識蘊(yùn)涵時態(tài)邏輯系統(tǒng)[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);2009年05期

2 付敏;;語義封閉性、“真矛盾論”與“悖論邏輯”[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);2009年05期

3 李娜;;模態(tài)哲思邏輯[J];重慶工學(xué)院學(xué)報(bào)(社會科學(xué)版);2008年11期

4 陳曉華;;不同形式假言易位之差異[J];重慶工學(xué)院學(xué)報(bào)(社會科學(xué)版);2009年09期

5 杜國平;;哲思邏輯的擴(kuò)充及其應(yīng)用[J];廣西大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);2011年02期

6 萬小龍;;經(jīng)典邏輯命題聯(lián)結(jié)詞的泛函分析初探——一元算符是否可能窮盡?[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);2011年06期

7 杜國平;;知識蘊(yùn)涵直覺主義邏輯系統(tǒng)[J];東南大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);2012年02期

8 杜國平;;經(jīng)典邏輯視野中的弗協(xié)調(diào)邏輯[J];華南師范大學(xué)學(xué)報(bào)(社會科學(xué)版);2007年05期

9 杜國平;;知識蘊(yùn)涵邏輯系統(tǒng)[J];邏輯學(xué)研究;2008年02期

10 蘇愉仁;賈春華;;弗協(xié)調(diào)邏輯與《金匱要略》“方證論治系統(tǒng)”[J];遼寧中醫(yī)雜志;2010年07期

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

1 陳冬火;超協(xié)調(diào)時序邏輯及其模型檢測方法[D];中國科學(xué)院研究生院（成都計(jì)算機(jī)應(yīng)用研究所）;2006年

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

1 何雄就;“偶然”邏輯特性的研究[D];南京大學(xué);2011年

【相似文獻(xiàn)】

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

1 張殿尉;王瀟;;邏輯是可修正的嗎?[J];內(nèi)蒙古農(nóng)業(yè)大學(xué)學(xué)報(bào)(社會科學(xué)版);2007年04期

2 姜成林;應(yīng)用邏輯——現(xiàn)代邏輯的新發(fā)展[J];社會科學(xué)輯刊;1988年05期

3 張小燕;張國軍;;皮亞杰心理邏輯探析[J];江海學(xué)刊;2007年03期

4 秦瑋遠(yuǎn);;“怪論”之說糾謬[J];南方論刊;2007年09期

5 馬佩;;也談邏輯真理的可錯性問題——與王路教授商榷[J];哲學(xué)研究;2009年01期

6 趙鵬;姚從軍;;三值邏輯系統(tǒng)的分析與比較[J];畢節(jié)學(xué)院學(xué)報(bào);2011年06期

7 周斌;阿伯拉爾關(guān)于動詞‘be’的分析及他的推論[J];復(fù)旦學(xué)報(bào)(社會科學(xué)版);1990年06期

8 張學(xué)立;金岳霖的邏輯一元論思想探析[J];人文雜志;1998年05期

9 楊熙齡;“不協(xié)調(diào)邏輯”小議[J];國外社會科學(xué);1981年07期

10 約瑟夫·拉盧米亞,新蔚;常規(guī)的科學(xué)和革命的科學(xué)——庫恩和他的批評者[J];第歐根尼;1992年02期

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

1 趙總寬;;辯證模態(tài)命題邏輯系統(tǒng)DMT與實(shí)然世界語義學(xué)[A];1997年邏輯研究專輯[C];1997年

2 李小五;;沈有鼎論直觀與邏輯[A];“中國名辯學(xué)與方法論研討會、道家與西方研討會、馮友蘭哲學(xué)思想研討會”優(yōu)秀論文精選[C];1998年

3 張學(xué)立;;從邏輯哲學(xué)的觀點(diǎn)看金岳霖先生的邏輯信條[A];1997年邏輯研究專輯[C];1997年

4 賈改琴;唐曉嘉;;知道謂詞邏輯系統(tǒng) K_(S5)+K_(BF)[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會議專輯[C];2006年

5 朱水林;;從外延邏輯到內(nèi)涵邏輯——現(xiàn)代邏輯發(fā)展的一個重要轉(zhuǎn)向[A];1994年邏輯研究專輯[C];1994年

6 ;晏成書教授在京逝世[A];1995年邏輯研究專輯[C];1995年

7 郭世銘;;多主體認(rèn)知邏輯系統(tǒng)(語法部分)[A];1998年邏輯研究專輯[C];1998年

8 張小燕;;皮亞杰對邏輯學(xué)與心理學(xué)之間關(guān)系的重新認(rèn)識[A];第三次金岳霖學(xué)術(shù)思想研討會論文集[C];2005年

9 ;馮契教授在滬逝世[A];1995年邏輯研究專輯[C];1995年

10 李小五;;虛擬條件句邏輯的恰當(dāng)性[A];1998年邏輯研究專輯[C];1998年

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

1 陳波;邏輯學(xué)的2005年[N];光明日報(bào);2006年

2 林可濟(jì);從西方思路到中國韻味[N];中華讀書報(bào);2010年

3 本報(bào)記者 賀修平;云大王瑞探究“拉母賽理論”取得實(shí)質(zhì)性突破[N];云南科技報(bào);2009年

4 周山;中國究竟有沒有“邏輯”[N];文匯報(bào);2011年

5 黃雪斌;農(nóng)民邏輯學(xué)家的大我人生[N];人民政協(xié)報(bào);2001年

6 尼克;王浩和他的朋友們[N];東方早報(bào);2011年

7 中國社會科學(xué)院 景天魁;上下貫通虛實(shí)相應(yīng)[N];光明日報(bào);2010年

8 華東師范大學(xué)哲學(xué)系 馮棉;把現(xiàn)代邏輯帶到中國的人[N];社會科學(xué)報(bào);2005年

9 本報(bào)記者 周靜;第四屆全國性邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會議在筑召開[N];貴州日報(bào);2008年

10 哲學(xué)所 涂紀(jì)亮;平易近人、循循善誘的金老[N];中國社會科學(xué)院院報(bào);2005年

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

1 馮彥波;合并邏輯方法研究[D];南開大學(xué);2010年

2 郝清賦;邏輯系統(tǒng)動態(tài)結(jié)構(gòu)演化研究[D];國防科學(xué)技術(shù)大學(xué);2006年

3 張世寧;廣義量詞理論研究[D];南開大學(xué);2010年

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

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

6 范紅;安全協(xié)議形式化分析理論與方法[D];中國人民解放軍信息工程大學(xué);2003年

7 陳佳林;柔性邏輯的健全性研究與應(yīng)用[D];北京郵電大學(xué);2011年

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

9 李曉冰;基于語言真值格值邏輯的歸結(jié)自動推理研究[D];西南交通大學(xué);2008年

10 郭美云;帶有群體知識的動態(tài)認(rèn)知邏輯[D];北京大學(xué);2006年

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

1 夏夢;金岳霖邏輯與邏輯系統(tǒng)思想述評[D];西南師范大學(xué);2002年

2 車付翠;計(jì)算機(jī)科學(xué)中的邏輯應(yīng)用研究[D];燕山大學(xué);2011年

3 馬曉玨;IMTL邏輯系統(tǒng)及IMTL-代數(shù)[D];陜西師范大學(xué);2004年

4 王佳君;CTD悖論研究[D];華東師范大學(xué);2009年

5 賈改琴;知道謂詞邏輯[D];西南師范大學(xué);2005年

6 盛作國;蘊(yùn)涵理論研究[D];貴州大學(xué);2008年

7 于宇;試析蒙太格語法[D];西南大學(xué);2007年

8 韓亦佳;蘊(yùn)涵與因果推理的關(guān)系[D];河南大學(xué);2008年

9 文紅峰;論邏輯后承與邏輯真[D];湘潭大學(xué);2008年

10 李莉;基于T-S模型的自適應(yīng)模糊系統(tǒng)的研究及應(yīng)用[D];西北工業(yè)大學(xué);2003年

本文編號：2817360