本文選題：模態(tài)系統(tǒng)　切入點(diǎn)：強(qiáng)推理規(guī)則　出處：《現(xiàn)代哲學(xué)》2004年04期

【摘要】：模態(tài)系統(tǒng)的推理規(guī)則可以用強(qiáng)弱虛實(shí)這四種性質(zhì)進(jìn)行分類。在一個(gè)系統(tǒng)中這幾種性質(zhì)無論在語形上還是語義上都有一定的聯(lián)系和區(qū)別,有些性質(zhì)在一個(gè)系統(tǒng)的變種或擴(kuò)充中并不一定保持。
[Abstract]:The inference rule of modal system can be categorized by four properties: strong, weak, virtual and real. In a system, these properties are related and distinguished both in form and semantics, and some properties are not necessarily maintained in a variant or expansion of a system.

【作者單位】： 中山大學(xué)邏輯與認(rèn)知研究所哲學(xué)系
【分類號(hào)】：B815.1

【相似文獻(xiàn)】

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

1 杜岫石;SAP不能換位為PAS嗎?[J];江漢論壇;1982年06期

2 張鳳華;楊群;張慶林;湯永隆;;條件推理中的二元效應(yīng)初探[J];心理科學(xué);2008年06期

3 歐陽丹彤，劉敘華;關(guān)于strong形RUE－NRF歸結(jié)的反倒[J];計(jì)算機(jī)學(xué)報(bào);1994年05期

4 林尚垣;;謂詞邏輯推理與機(jī)器證明[J];安慶師范學(xué)院學(xué)報(bào)(自然科學(xué)版);2005年04期

5 霍書全;;推理關(guān)系形式化產(chǎn)生的問題及哲學(xué)思考[J];廣東廣播電視大學(xué)學(xué)報(bào);2006年04期

6 麻昌貴;;“在愚人節(jié)里”的故事不能說明聯(lián)言判斷原理——與彭漣漪、余式厚先生商榷[J];貴州教育學(xué)院學(xué)報(bào);2008年08期

7 于西昌;譚桂梅;張興芳;;連續(xù)值命題邏輯系統(tǒng)中公式的條件概率真度[J];計(jì)算機(jī)工程與應(yīng)用;2009年28期

8 譚桂梅;于西昌;;G銉del命題邏輯中公式概率真度的相似度及偽距離[J];計(jì)算機(jī)工程與應(yīng)用;2010年20期

9 于西昌;譚桂梅;;幾種邏輯系統(tǒng)中的概率真度[J];計(jì)算機(jī)工程與應(yīng)用;2011年12期

10 于西昌;張興芳;;連續(xù)值命題邏輯中公式的概率真度及相似度[J];計(jì)算機(jī)工程與應(yīng)用;2009年24期

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

1 方毅;;牛頓的哲學(xué)推理規(guī)則之思考[A];第二屆中國科技哲學(xué)及交叉學(xué)科研究生論壇論文集（博士卷）[C];2008年

2 李喜初;;試論《易經(jīng)》符號(hào)系統(tǒng)的推理規(guī)則[A];邏輯今探——中國邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年

3 彭展;;一階謂詞系統(tǒng)的獨(dú)立性[A];2004年邏輯研究專輯[C];2004年

4 高欣;;基于條件不確定性的不確定推理研究[A];第三屆中國智能計(jì)算大會(huì)論文集[C];2009年

5 姚旭晨;馬建強(qiáng);;幾個(gè)漢語典型語言現(xiàn)象的范疇語法分析[A];中國計(jì)算機(jī)語言學(xué)研究前沿進(jìn)展（2007-2009）[C];2009年

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

7 趙嵐;胡九川;;基于數(shù)據(jù)表的模糊推理規(guī)則生成法[A];模糊集理論與模糊應(yīng)用專輯——中國系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十屆年會(huì)論文選集[C];2000年

8 趙新生;高善清;邢立新;許梅生;;炮兵軍用文書智能處理的主要模型及推理規(guī)則[A];計(jì)算機(jī)模擬與信息技術(shù)會(huì)議論文集[C];2001年

9 榮凌燕;劉國華;沈兵紅;李現(xiàn)偉;;基于樹元組的XML多值依賴推理[A];2006年全國理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2006年

10 石翌軼;;基于前向鏈策略的RDF閉包生成技術(shù)研究[A];2008'中國信息技術(shù)與應(yīng)用學(xué)術(shù)論壇論文集（一）[C];2008年

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

1 丁柱杉;祿豐廟山小學(xué)嘗試開設(shè)兒童哲學(xué)課[N];楚雄日?qǐng)?bào)(漢);2007年

2 文/高君;網(wǎng)站流量緣何飚升？[N];計(jì)算機(jī)世界;2004年

3 劉達(dá);GOOGLE百度聯(lián)姻中國搜索堅(jiān)持“智能化”革命[N];中國經(jīng)營(yíng)報(bào);2004年

4 黃中;自控科技走向全面智能化[N];中國知識(shí)產(chǎn)權(quán)報(bào);2001年

5 馬振兵;加強(qiáng)黨員違紀(jì)案件審理報(bào)告的說理性[N];鎮(zhèn)江日?qǐng)?bào);2008年

6 郭韋鈺 丁連紅;語義Web和語義網(wǎng)格[N];中國計(jì)算機(jī)報(bào);2004年

7 朱林源;判決書“本院認(rèn)為”部分的寫作探討[N];江蘇經(jīng)濟(jì)報(bào);2000年

8 李建會(huì);人工智能：挑戰(zhàn)人類智慧的科學(xué)[N];科技日?qǐng)?bào);2000年

9 本報(bào)記者 曹騰;G長(zhǎng)力部分限售股解禁[N];中國證券報(bào);2006年

10 丁麗芳;女性管理者在企業(yè)中的作用[N];發(fā)展導(dǎo)報(bào);2003年

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

1 張忠平;基于約束的XML數(shù)據(jù)庫模式規(guī)范化研究[D];復(fù)旦大學(xué);2004年

2 談子敬;XML的完整性約束[D];復(fù)旦大學(xué);2003年

3 毛明毅;面向?qū)ο蟮膹V義空間邏輯運(yùn)算模型與推理研究[D];西北工業(yè)大學(xué);2006年

4 項(xiàng)森;基于邏輯的程序驗(yàn)證方法在高可信軟件開發(fā)上的應(yīng)用[D];中國科學(xué)技術(shù)大學(xué);2006年

5 余延生;航天器貯箱液體非線性晃動(dòng)動(dòng)力學(xué)的多維模態(tài)分析方法[D];哈爾濱工業(yè)大學(xué);2007年

6 華保健;一種用于指針程序安全性證明的指針邏輯[D];中國科學(xué)技術(shù)大學(xué);2008年

7 李兆鵬;匯編指針程序安全性驗(yàn)證的研究[D];中國科學(xué)技術(shù)大學(xué);2008年

8 趙華偉;兩種安全協(xié)議形式化理論的研究[D];山東大學(xué);2006年

9 周平;基于格蘊(yùn)涵代數(shù)的格值邏輯中的近似推理研究[D];西南交通大學(xué);2007年

10 王治綱;分布式環(huán)境中基于本體的RBAC策略研究[D];華中科技大學(xué);2006年

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

1 蘇召;XML弱函數(shù)依賴與單依賴集合的研究[D];燕山大學(xué);2007年

2 左麗娟;基于多Agent技術(shù)的電子商務(wù)模擬系統(tǒng)的研究與實(shí)現(xiàn)[D];河海大學(xué);2002年

3 孫麗娜;言語交際中的語用推理述評(píng)[D];燕山大學(xué);2009年

4 黃金華;正規(guī)模態(tài)邏輯的自然演繹及其證明論性質(zhì)探微[D];華南師范大學(xué);2007年

5 李明洋;基于本體的教育資源知識(shí)點(diǎn)推理研究[D];重慶大學(xué);2009年

6 林暉;專利信息檢索實(shí)驗(yàn)系統(tǒng)的研究與實(shí)現(xiàn)[D];北京郵電大學(xué);2009年

7 榮凌燕;XML多值依賴問題的研究[D];燕山大學(xué);2006年

8 王其冰;本體查詢和推理規(guī)則在學(xué)科概念建模中的應(yīng)用[D];華東師范大學(xué);2009年

9 陳莉;基于領(lǐng)域本體的智能搜索系統(tǒng)的研究和應(yīng)用[D];南京航空航天大學(xué);2008年

10 王梅娟;XML數(shù)據(jù)的規(guī)范化存儲(chǔ)[D];南京師范大學(xué);2007年

，

本文編號(hào)：1677783