本文關鍵詞：基于廣義量詞單調性的自然語言推理模式研究

  更多相關文章： 廣義量詞理論 廣義量詞 集合 單調性 自然語言推理

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

【相似文獻】

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

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

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

3 常寶寶;;自然語言分析與生成術語簡介[J];術語標準化與信息技術;2010年04期

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

5 姜勁波;由元音認識自然語言[J];人天科學研究;1997年05期

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

7 柳清秀;析比較命題及其推理[J];九江師專學報;2000年04期

8 陳紅琳;;自然語言的形式化[J];阜陽師范學院學報(社會科學版);2009年02期

9 李包庚,劉邦凡;談談概念與語詞的三個問題[J];懷化師專學報;1999年01期

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

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

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

2 盛新華;柳勁;;自然語言否定的語用功能與交際策略[A];改革開放以來邏輯的歷程——中國邏輯學會成立30周年紀念文集（上卷）[C];2009年

3 李靈輝;林爾正;林玉婷;林丹紅;;基于自然語言檢索的中醫(yī)中風康復古代文獻數(shù)據(jù)庫構建[A];福建省圖書館學會2011年學術年會論文集[C];2011年

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

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

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

7 才讓加;吉太加;;藏語語料庫中詞性分類代碼的確定[A];中文信息處理前沿進展——中國中文信息學會二十五周年學術會議論文集[C];2006年

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

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

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

3 朱少楠;面向地理場景的“文—圖—景”轉換方法研究[D];南京師范大學;2013年

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

1 石亞坤;自然語言的人類理解與機器“理解”對比研究[D];陜西師范大學;2011年

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

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

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

5 武睿峰;自然語言密寫分析及密寫量檢測[D];西北大學;2014年

6 李霞;自然語言篇章中時間信息的研究及在產(chǎn)品設計領域中的應用[D];西安電子科技大學;2013年

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

8 詹思瑜;自然語言的計算機處理模型[D];電子科技大學;2003年

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

10 郭鍵;自然語言腳本生成動畫腳本的關鍵技術研究[D];哈爾濱工業(yè)大學;2008年

，

本文編號：853253