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

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

【共引文獻(xiàn)】

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

1 夏素敏;;Fluted邏輯與自然語言[J];哲學(xué)動(dòng)態(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é)動(dòng)態(tài);2011年02期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

7 王迎慶;愛情對(duì)于自然語言的超越[N];中國(guó)電影報(bào);2005年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1 李海波;語言游戲論與自然語言量化結(jié)構(gòu)[D];中國(guó)海洋大學(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);蒙太格語法研究述評(píng)[D];西南大學(xué);2006年

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

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

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

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

，

本文編號(hào)：1960043