發(fā)布時(shí)間：2017-09-15 00:28

  本文關(guān)鍵詞：基于廣義量詞單調(diào)性的自然語(yǔ)言推理模式研究

  更多相關(guān)文章： 廣義量詞理論 廣義量詞 集合 單調(diào)性 自然語(yǔ)言推理

【摘要】：廣義量詞理論是現(xiàn)代邏輯學(xué)、理論語(yǔ)言學(xué)、計(jì)算語(yǔ)言學(xué)等交叉領(lǐng)域的重點(diǎn)研究?jī)?nèi)容之一。利用廣義量詞的單調(diào)性可以解釋或判斷自然語(yǔ)言推理的有效性。對(duì)此有十二個(gè)事實(shí)和十二個(gè)推論可以印證。此項(xiàng)研究對(duì)計(jì)算機(jī)科學(xué)中的知識(shí)推理和廣義量詞理論的發(fā)展都具有較為重要的理論價(jià)值和實(shí)踐意義。
【作者單位】： 廈門大學(xué)哲學(xué)系;四川師范大學(xué)政治教育學(xué)院;
【關(guān)鍵詞】： 廣義量詞理論 廣義量詞 集合 單調(diào)性 自然語(yǔ)言推理
【基金】：教育部人文社會(huì)科學(xué)研究規(guī)劃基金項(xiàng)目(12YJA72040001)
【分類號(hào)】：B812.3
【正文快照】： 廣義量詞理論(generalized quantifier theo-ry)是在一階邏輯和模型論的基礎(chǔ)上發(fā)展起來(lái)的自然語(yǔ)言邏輯理論,是表達(dá)力較強(qiáng)的邏輯工具,具有諸多重要的研究成果和廣泛的用途。該理論主要通過(guò)廣義量詞的真值定義,來(lái)表達(dá)廣義量詞所涉及的論元集合的性質(zhì)或不同論元集合之間的關(guān)系,以

【相似文獻(xiàn)】

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

1 郭鵬;;自然語(yǔ)言能力和人類智力[J];民營(yíng)科技;2009年03期

2 武占坤;;論詞匯在語(yǔ)言中的中心地位——兼論從信息學(xué)的角度看自然語(yǔ)言的詞匯的優(yōu)越性[J];江蘇大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2009年03期

3 常寶寶;;自然語(yǔ)言分析與生成術(shù)語(yǔ)簡(jiǎn)介[J];術(shù)語(yǔ)標(biāo)準(zhǔn)化與信息技術(shù);2010年04期

4 林田;;哲學(xué)視野中的自然語(yǔ)言[J];畢節(jié)學(xué)院學(xué)報(bào);2013年10期

5 姜?jiǎng)挪?由元音認(rèn)識(shí)自然語(yǔ)言[J];人天科學(xué)研究;1997年05期

6 何孟杰;;真值表:從自然語(yǔ)言到形式語(yǔ)言的橋梁[J];考試周刊;2007年10期

7 柳清秀;析比較命題及其推理[J];九江師專學(xué)報(bào);2000年04期

8 陳紅琳;;自然語(yǔ)言的形式化[J];阜陽(yáng)師范學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2009年02期

9 李包庚,劉邦凡;談?wù)劯拍钆c語(yǔ)詞的三個(gè)問(wèn)題[J];懷化師專學(xué)報(bào);1999年01期

10 韓寶育;面向人的自然語(yǔ)言釋義[J];陜西師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2004年06期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前7條

1 胡健;黃麗華;劉杰;;基于自然語(yǔ)言的智能決策支持系統(tǒng)人機(jī)接口[A];管理科學(xué)與系統(tǒng)科學(xué)進(jìn)展——全國(guó)青年管理科學(xué)與系統(tǒng)科學(xué)論文集（第4卷）[C];1997年

2 盛新華;柳勁;;自然語(yǔ)言否定的語(yǔ)用功能與交際策略[A];改革開(kāi)放以來(lái)邏輯的歷程——中國(guó)邏輯學(xué)會(huì)成立30周年紀(jì)念文集（上卷）[C];2009年

3 李靈輝;林爾正;林玉婷;林丹紅;;基于自然語(yǔ)言檢索的中醫(yī)中風(fēng)康復(fù)古代文獻(xiàn)數(shù)據(jù)庫(kù)構(gòu)建[A];福建省圖書(shū)館學(xué)會(huì)2011年學(xué)術(shù)年會(huì)論文集[C];2011年

4 谷明哲;孟小峰;周勇;;中文自然語(yǔ)言查詢界面NChiql的Java設(shè)計(jì)實(shí)現(xiàn)[A];第十六屆全國(guó)數(shù)據(jù)庫(kù)學(xué)術(shù)會(huì)議論文集[C];1999年

5 周勇;孟小峰;劉爽;王珊;;數(shù)據(jù)庫(kù)自然語(yǔ)言查詢系統(tǒng)NChiql中語(yǔ)義依存樹(shù)向SQL的轉(zhuǎn)換[A];第十六屆全國(guó)數(shù)據(jù)庫(kù)學(xué)術(shù)會(huì)議論文集[C];1999年

6 萬(wàn)繼華;;基于哲學(xué)本體論的真值演算系統(tǒng)——實(shí)現(xiàn)計(jì)算機(jī)理解自然語(yǔ)言的邏輯方法[A];邏輯學(xué)及其應(yīng)用研究——第四屆全國(guó)邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會(huì)議論文集[C];2008年

7 才讓加;吉太加;;藏語(yǔ)語(yǔ)料庫(kù)中詞性分類代碼的確定[A];中文信息處理前沿進(jìn)展——中國(guó)中文信息學(xué)會(huì)二十五周年學(xué)術(shù)會(huì)議論文集[C];2006年

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

1 李虎;基于本體和規(guī)則的受控自然語(yǔ)言系統(tǒng)模型研究[D];華中科技大學(xué);2010年

2 孟小峰;中文數(shù)據(jù)庫(kù)自然語(yǔ)言查詢處理研究[D];中國(guó)科學(xué)院研究生院（計(jì)算技術(shù)研究所）;1999年

3 朱少楠;面向地理場(chǎng)景的“文—圖—景”轉(zhuǎn)換方法研究[D];南京師范大學(xué);2013年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 石亞坤;自然語(yǔ)言的人類理解與機(jī)器“理解”對(duì)比研究[D];陜西師范大學(xué);2011年

2 柳勁;自然語(yǔ)言否定的邏輯思考[D];湘潭大學(xué);2009年

3 裴君波;信息分發(fā)中自然語(yǔ)言訂閱接口的研究[D];北京郵電大學(xué);2015年

4 付勝博;基于自然語(yǔ)言的空間數(shù)據(jù)檢索研究[D];西北工業(yè)大學(xué);2007年

5 武睿峰;自然語(yǔ)言密寫分析及密寫量檢測(cè)[D];西北大學(xué);2014年

6 李霞;自然語(yǔ)言篇章中時(shí)間信息的研究及在產(chǎn)品設(shè)計(jì)領(lǐng)域中的應(yīng)用[D];西安電子科技大學(xué);2013年

7 汪志南;農(nóng)業(yè)信息自然語(yǔ)言控制系統(tǒng)的研究[D];中國(guó)農(nóng)業(yè)科學(xué)院;2001年

8 詹思瑜;自然語(yǔ)言的計(jì)算機(jī)處理模型[D];電子科技大學(xué);2003年

9 周洪楷;基于數(shù)據(jù)庫(kù)的自然語(yǔ)言智能接口的研究與實(shí)現(xiàn)[D];西安電子科技大學(xué);2011年

10 郭鍵;自然語(yǔ)言腳本生成動(dòng)畫腳本的關(guān)鍵技術(shù)研究[D];哈爾濱工業(yè)大學(xué);2008年

，

本文編號(hào)：853253