本文選題：一階邏輯 + 自然語言��； 參考：《哲學(xué)動態(tài)》2009年04期

[Abstract]:......
【作者單位】： 中國社會科學(xué)院哲學(xué)研究所;
【基金】：國家社會科學(xué)基金項目“一階邏輯片段研究(08CZX021)”的資助
【分類號】：B812

【共引文獻(xiàn)】

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

1 夏素敏;;Fluted邏輯與自然語言[J];哲學(xué)動態(tài);2011年02期

【相似文獻(xiàn)】

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

1 馬明輝;;走向模型論的模態(tài)邏輯[J];邏輯學(xué)研究;2009年01期

2 劉奮榮;;概念分析的奠基與發(fā)展[J];自然辯證法研究;2011年04期

3 夏素敏;;Fluted邏輯與自然語言[J];哲學(xué)動態(tài);2011年02期

4 諸葛殷同;;“多數(shù)”和“少數(shù)”[J];思維與智慧;1993年01期

5 郝一江;張曉君;;動態(tài)邏輯:關(guān)于程序的模態(tài)邏輯[J];哲學(xué)動態(tài);2009年11期

6 尹樹廣;傳統(tǒng)邏輯符號與一階邏輯演算基本符號的差別[J];求是學(xué)刊;1992年03期

7 張力鋒;模態(tài)邏輯的哲學(xué)歸宿[J];四川大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2004年02期

8 宋文堅;北京大學(xué)哲學(xué)系邏輯必修課的改革[J];哲學(xué)動態(tài);1986年07期

9 王健平;;實(shí)質(zhì)蘊(yùn)涵與自然語言中的相關(guān)蘊(yùn)涵命題分析[J];華南師范大學(xué)學(xué)報(社會科學(xué)版);2005年03期

10 莫日根巴圖;;傳統(tǒng)邏輯與現(xiàn)代邏輯量詞比較[J];內(nèi)蒙古民族大學(xué)學(xué)報(社會科學(xué)版);2006年04期

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

1 劉壯虎;;復(fù)合謂詞的邏輯系統(tǒng)[A];2000年邏輯研究專輯[C];2000年

2 劉壯虎;;幾類性質(zhì)詞的邏輯特征[A];第二屆中國南北哲學(xué)論壇暨“哲學(xué)的當(dāng)代意義”學(xué)術(shù)研討會論文集[C];2005年

3 王柏鶴;;普通邏輯教學(xué)亟待加強(qiáng)自然語言的邏輯分析[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

4 甘燦;孫星明;劉玉玲;向凌云;;一種改進(jìn)的基于同義詞替換的中文文本信息隱藏方法[A];第七屆全國信息隱藏暨多媒體信息安全學(xué)術(shù)大會論文集[C];2007年

5 周勁松;;空間搜索引擎與城鄉(xiāng)規(guī)劃管理[A];城市規(guī)劃和科學(xué)發(fā)展——2009中國城市規(guī)劃年會論文集[C];2009年

6 陳魁;榮莉莉;;標(biāo)準(zhǔn)元搜索引擎——概念及其模型[A];管理科學(xué)與系統(tǒng)科學(xué)研究新進(jìn)展——第7屆全國青年管理科學(xué)與系統(tǒng)科學(xué)學(xué)術(shù)會議論文集[C];2003年

7 趙希順;秦克云;龐善起;王雪生;;具有時態(tài)詞的Fuzzy推理[A];模糊數(shù)學(xué)和系統(tǒng)成果會論文集[C];1991年

8 溫雪茹;翟國平;李銀羅;;將情報語言與自然語言一體化檢索應(yīng)用于地質(zhì)資料檢索系統(tǒng)[A];中國圖書館學(xué)會專業(yè)圖書館分會2009年學(xué)術(shù)年會論文集[C];2009年

9 徐陽春;;從漢語特點(diǎn)看中國古代邏輯[A];1995年邏輯研究專輯[C];1995年

10 鄒崇理;;信息時代的自然語言邏輯研究特色[A];2000年邏輯研究專輯[C];2000年

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

1 西文;互聯(lián)網(wǎng)進(jìn)入自然語言時代[N];中國經(jīng)營報;2001年

2 吳超;從ＩＰ到ＤＮＳ到自然語言[N];大眾科技報;2003年

3 吳超;從IP到DNS到自然語言網(wǎng)絡(luò)地址資源凸現(xiàn)本地化特色[N];中國企業(yè)報;2003年

4 L＆H公司高級副總裁及亞太區(qū)總裁 胡國輝博士;自然語言技術(shù)支持新一代語音上網(wǎng)[N];中國計算機(jī)報;2000年

5 本報記者 操秀英;搜索引擎市場風(fēng)云再起[N];科技日報;2007年

6 李文;自然語言搜索：Google、百度終結(jié)者？[N];中國民航報;2007年

7 王迎慶;愛情對于自然語言的超越[N];中國電影報;2005年

8 吳超;網(wǎng)絡(luò)地址資源凸現(xiàn)本地化特色[N];中國消費(fèi)者報;2003年

9 許滌非 中國人民大學(xué)哲學(xué)院;數(shù)學(xué)的直謂基礎(chǔ)[N];中國社會科學(xué)報;2009年

10 吳超;網(wǎng)絡(luò)地址資源凸現(xiàn)本地化特色[N];中國旅游報;2003年

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

1 吳瑕;基于擴(kuò)展規(guī)則的定理證明的研究[D];吉林大學(xué);2006年

2 張立娜;個體詞的邏輯語義[D];清華大學(xué);2007年

3 單黎君;圖形化模型的一致性檢查[D];國防科學(xué)技術(shù)大學(xué);2008年

4 胡志剛;基于協(xié)同的并行設(shè)計環(huán)境理論與方法研究[D];中南大學(xué);2002年

5 孫舒楊;統(tǒng)計關(guān)系學(xué)習(xí)的若干問題研究[D];吉林大學(xué);2006年

6 郭遠(yuǎn)華;若干邏輯自動推理方法研究[D];華東師范大學(xué);2010年

7 孫揚(yáng);多變元網(wǎng)絡(luò)數(shù)據(jù)可視化方法研究[D];國防科學(xué)技術(shù)大學(xué);2010年

8 胡峻;量子Schubert函子以及量子線性群的上同調(diào)[D];華東師范大學(xué);2000年

9 江濤;特定領(lǐng)域元建模語言的形式化及其模型一致性驗證研究[D];云南大學(xué);2010年

10 李文江;基于格蘊(yùn)涵代數(shù)的廣義格值模態(tài)邏輯及其歸結(jié)自動推理的研究[D];西南交通大學(xué);2002年

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

1 李海波;語言游戲論與自然語言量化結(jié)構(gòu)[D];中國海洋大學(xué);2004年

2 熊況;是革命還是夸大？[D];復(fù)旦大學(xué);2008年

3 顧恒;一階邏輯的一種全面擴(kuò)張：語形和語義[D];西南大學(xué);2013年

4 黃艷;面向數(shù)字化產(chǎn)品的自然語言查詢技術(shù)的研究與開發(fā)[D];浙江大學(xué);2002年

5 劉靜;基于二叉樹和自然語言的昆蟲查詢鑒定系統(tǒng)研究[D];昆明理工大學(xué);2006年

6 顧鋒強(qiáng);蒙太格語法研究述評[D];西南大學(xué);2006年

7 饒萍;情境語義學(xué)的邏輯應(yīng)用研究[D];河南大學(xué);2009年

8 倪國強(qiáng);廣義量詞理論對自然語言限定詞的研究[D];內(nèi)蒙古師范大學(xué);2009年

9 胡澤;格賴斯的會話含義理論研究[D];華南師范大學(xué);2005年

10 張嵐;初中生數(shù)學(xué)學(xué)習(xí)中自然語言與符號語言的相關(guān)性及轉(zhuǎn)化策略[D];陜西師范大學(xué);2008年

，

本文編號：1960043