【摘要】：文章扼要闡明了語(yǔ)用邏輯的研究對(duì)象、內(nèi)容和主要特點(diǎn) ,并介紹了這一領(lǐng)域的國(guó)內(nèi)外研究現(xiàn)狀。在此基礎(chǔ)上 ,文章側(cè)重描述了計(jì)算機(jī)語(yǔ)言作為語(yǔ)用語(yǔ)言的邏輯特征 ,包括對(duì)計(jì)算機(jī)語(yǔ)言的語(yǔ)法分析和語(yǔ)義分析。最后 ,本文通過(guò)研究如何在prolog語(yǔ)言中使用IL分析方法表明了語(yǔ)用邏輯在人工智能中的應(yīng)用
[Abstract]:This paper briefly expounds the research object, content and main characteristics of pragmatic logic, and introduces the current research situation in this field at home and abroad. On this basis, this paper focuses on the logical features of computer language as pragmatic language, including the grammatical analysis and semantic analysis of computer language. Finally, this paper demonstrates the application of pragmatic logic in artificial intelligence by studying how to use IL analysis method in prolog language.
【作者單位】： 中山大學(xué)哲學(xué)系!廣東廣州510275
【分類號(hào)】：B819

【共引文獻(xiàn)】

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

1 李龍澍;;PROLOG線性歸結(jié)的研究與設(shè)計(jì)[J];安徽大學(xué)學(xué)報(bào)(自然科學(xué)版);1997年03期

2 程玉勝,任廣永;基于ROUGH集的決策樹(shù)測(cè)試屬性選擇方法[J];安慶師范學(xué)院學(xué)報(bào)(自然科學(xué)版);2004年04期

3 程玉勝;Rosetta實(shí)驗(yàn)系統(tǒng)在機(jī)器學(xué)習(xí)中的應(yīng)用[J];安慶師范學(xué)院學(xué)報(bào)(自然科學(xué)版);2005年02期

4 吳華;徐甜;;機(jī)器翻譯中源語(yǔ)分析的研究與探討[J];安陽(yáng)工學(xué)院學(xué)報(bào);2006年02期

5 金純;淺談?dòng)?jì)算機(jī)自然語(yǔ)言理解[J];浙江中醫(yī)學(xué)院學(xué)報(bào);2005年03期

6 王克喜;;論辯與語(yǔ)言分析在佛教邏輯產(chǎn)生中的意義[J];畢節(jié)學(xué)院學(xué)報(bào);2011年10期

7 焦竹青;徐保國(guó);;基于Bayes多傳感器數(shù)據(jù)融合的電路故障診斷[J];傳感器與微系統(tǒng);2008年10期

8 邵才瑞,李洪奇,張福明;人機(jī)聯(lián)作智能地層對(duì)比技術(shù)[J];測(cè)井技術(shù);1998年06期

9 蔡曙山;白晨;衣新發(fā);韓旭;;推理在學(xué)習(xí)與認(rèn)知中的作用[J];重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué));2011年08期

10 盧戀;;語(yǔ)言游戲論對(duì)語(yǔ)用邏輯形成和發(fā)展的影響[J];重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué));2011年08期

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

1 高秀恒;錢(qián)紅兵;;一種基于Agent增強(qiáng)的軟件審查過(guò)程模型[A];計(jì)算機(jī)技術(shù)與應(yīng)用進(jìn)展·2007——全國(guó)第18屆計(jì)算機(jī)技術(shù)與應(yīng)用（CACIS）學(xué)術(shù)會(huì)議論文集[C];2007年

2 任玉輝;張濤;柏慶巖;錢(qián)學(xué)明;張東平;王云川;;軋鋼加熱爐加熱過(guò)程最優(yōu)控制與智能系統(tǒng)的開(kāi)發(fā)與應(yīng)用[A];2005中國(guó)鋼鐵年會(huì)論文集（第4卷）[C];2005年

3 陶鈞;朱學(xué)其;林文喜;;高爐配料自動(dòng)控制方法研究[A];2008年全國(guó)煉鐵生產(chǎn)技術(shù)會(huì)議暨煉鐵年會(huì)文集（下冊(cè)）[C];2008年

4 劉根輝;李德華;尉遲治平;;形式語(yǔ)用學(xué)研究狀況與展望[A];第二屆全國(guó)學(xué)生計(jì)算語(yǔ)言學(xué)研討會(huì)論文集[C];2004年

5 邵柏;賀仲雄;;人工智能在法學(xué)中的應(yīng)用[A];2003年中國(guó)智能自動(dòng)化會(huì)議論文集（下冊(cè)）[C];2003年

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

1 鄭軍紅;基于知識(shí)工程的智能夾具設(shè)計(jì)系統(tǒng)構(gòu)建研究[D];浙江大學(xué);2010年

2 張愛(ài)珍;模糊語(yǔ)義研究[D];福建師范大學(xué);2010年

3 許有軍;基于擴(kuò)展規(guī)則的若干SAT問(wèn)題研究[D];吉林大學(xué);2011年

4 馬麗娜;模糊推理方法及知識(shí)推理的計(jì)量化研究[D];陜西師范大學(xué);2011年

5 胡明娣;邏輯度量空間的內(nèi)蘊(yùn)結(jié)構(gòu)的研究[D];陜西師范大學(xué);2011年

6 斯·勞格勞;現(xiàn)代蒙古語(yǔ)依存句法自動(dòng)分析研究[D];內(nèi)蒙古大學(xué);2011年

7 繆濵;公（鐵）工程三維選線的群智能算法研究[D];中南大學(xué);2011年

8 魏圓圓;基于本體論的農(nóng)業(yè)知識(shí)建模及推理研究[D];中國(guó)科學(xué)技術(shù)大學(xué);2011年

9 陳成;基于多Agent系統(tǒng)的供應(yīng)鏈可靠性管理模型研究[D];南京理工大學(xué);2011年

10 劉志丹;哈貝馬斯語(yǔ)言哲學(xué)思想研究[D];吉林大學(xué);2012年

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

1 朱謙成;基于CLIPS的注塑模具方案智能設(shè)計(jì)研究及程序?qū)崿F(xiàn)[D];湘潭大學(xué);2010年

2 徐旭;基于決策樹(shù)的Web應(yīng)用系統(tǒng)個(gè)性化身份驗(yàn)證研究[D];合肥工業(yè)大學(xué);2010年

3 林良健;電網(wǎng)調(diào)度智能防誤系統(tǒng)研究[D];華南理工大學(xué);2010年

4 萬(wàn)亞楠;基于SAP系統(tǒng)的兩票防誤系統(tǒng)的研發(fā)與應(yīng)用[D];華南理工大學(xué);2010年

5 曾睿;基于案例推理的突發(fā)大氣污染事件應(yīng)急支持系統(tǒng)的研究[D];昆明理工大學(xué);2010年

6 毛婷瑜;面向個(gè)人理財(cái)?shù)闹悄芑旌舷到y(tǒng)的研究[D];東華大學(xué);2011年

7 王啟明;匯編語(yǔ)言智能計(jì)算機(jī)輔助教學(xué)系統(tǒng)的應(yīng)用研究[D];西安電子科技大學(xué);2009年

8 李曉平;基于SCORM標(biāo)準(zhǔn)的網(wǎng)絡(luò)課程設(shè)計(jì)研究與實(shí)現(xiàn)[D];西安電子科技大學(xué);2008年

9 劉劍;基于數(shù)據(jù)挖掘技術(shù)實(shí)現(xiàn)騷擾電話識(shí)別[D];中國(guó)地質(zhì)大學(xué)（北京）;2011年

10 劉飛;非單調(diào)推理及其應(yīng)用[D];河南大學(xué);2011年

【相似文獻(xiàn)】

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

1 張斌峰,劉興凱;語(yǔ)用邏輯研究的新進(jìn)展——蔡曙山的語(yǔ)用邏輯形式化研究述評(píng)[J];學(xué)術(shù)界;2004年04期

2 蔡曙山;量化的語(yǔ)用邏輯[J];哲學(xué)研究;1999年02期

3 蔡曙山;命題的語(yǔ)用邏輯[J];中國(guó)社會(huì)科學(xué);1997年05期

4 張斌峰;國(guó)內(nèi)語(yǔ)用邏輯研究回顧與展望(下)[J];哲學(xué)動(dòng)態(tài);2001年12期

5 張春泉;語(yǔ)用邏輯芻議[J];浙江社會(huì)科學(xué);2004年03期

6 蔡曙山;模態(tài)的語(yǔ)用邏輯[J];清華大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2002年03期

7 徐東海;;語(yǔ)用邏輯芻議——兼談漢語(yǔ)語(yǔ)用邏輯的研究[J];大家;2011年12期

8 張斌峰;國(guó)內(nèi)語(yǔ)用邏輯研究回顧與展望(上)[J];哲學(xué)動(dòng)態(tài);2001年11期

9 倪蔭林;《矛盾》不能作為自相矛盾的典范——兼從語(yǔ)用邏輯視角看《矛盾》[J];武警學(xué)院學(xué)報(bào);2002年01期

10 鄒欣欣;計(jì)算機(jī)輔助語(yǔ)言教學(xué)在大學(xué)英語(yǔ)教學(xué)中的應(yīng)用及前景[J];中國(guó)西部科技;2004年04期

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

1 陶春;;計(jì)算機(jī)語(yǔ)言的發(fā)展[A];全國(guó)中外近現(xiàn)代文化學(xué)術(shù)研討會(huì)論文集[C];2004年

2 楊興晏;;計(jì)算機(jī)動(dòng)畫(huà)模擬軟件GPSS/H和Proof Animation[A];第10屆計(jì)算機(jī)模擬與信息技術(shù)會(huì)議論文集[C];2005年

3 嚴(yán)雋永;;XML結(jié)構(gòu)與遞階數(shù)[A];2009年全國(guó)開(kāi)放式分布與并行計(jì)算機(jī)學(xué)術(shù)會(huì)議論文集(上冊(cè))[C];2009年

4 王京;石斌;;對(duì)利用Microsoft Access和Microsoft Visual Basic 6．0管理醫(yī)學(xué)影像資料的探討[A];第十三屆全國(guó)臨床醫(yī)學(xué)影像學(xué)術(shù)會(huì)議論文匯編[C];2003年

5 章煜;胡昆;楊世旭;;人機(jī)交互仿真語(yǔ)言TML及其在電信工單處理自動(dòng)化上的應(yīng)用[A];第六屆全國(guó)計(jì)算機(jī)應(yīng)用聯(lián)合學(xué)術(shù)會(huì)議論文集[C];2002年

6 吳純啟;劉寶興;盛和章;廖明陽(yáng);;生殖毒性試驗(yàn)計(jì)算機(jī)管理系統(tǒng)的開(kāi)發(fā)及其在噻喏啡生殖毒性評(píng)價(jià)中的應(yīng)用[A];中國(guó)藥理學(xué)會(huì)毒理專業(yè)委員會(huì)第十次學(xué)術(shù)會(huì)議論文摘要匯編[C];2004年

7 胡月軍;趙秀兵;;淺議信息管理系統(tǒng)開(kāi)發(fā)平臺(tái)國(guó)產(chǎn)化問(wèn)題[A];新世紀(jì) 新機(jī)遇 新挑戰(zhàn)——知識(shí)創(chuàng)新和高新技術(shù)產(chǎn)業(yè)發(fā)展（上冊(cè)）[C];2001年

8 林蓉;張步涵;;關(guān)于電力系統(tǒng)分析課程的計(jì)算實(shí)驗(yàn)教學(xué)組織方法的探討[A];第二屆全國(guó)高校電氣工程及其自動(dòng)化專業(yè)教學(xué)改革研討會(huì)論文集（上冊(cè)）[C];2004年

9 張鵬飛;張運(yùn);劉春喜;丁士芳;蘇海軍;張梅;姚桂華;易新;;血管內(nèi)超聲彈性圖用于斑塊成分判定和易損斑塊識(shí)別[A];第九屆全國(guó)超聲心動(dòng)圖學(xué)術(shù)會(huì)議論文集[C];2007年

10 王丁;雷國(guó)華;;計(jì)算方法課程教學(xué)內(nèi)容和教學(xué)方法的改革與實(shí)踐[A];高教科研2006（中冊(cè)：教學(xué)改革）[C];2006年

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

1 浙江省余姚市實(shí)驗(yàn)小學(xué)　許憬;讓語(yǔ)言教學(xué)重新煥發(fā)生機(jī)[N];中國(guó)教育報(bào);2003年

2 ;對(duì)話STL之父AlexStepanov[N];電腦報(bào);2005年

3 張荔子;盲人也可上網(wǎng)瀏覽[N];健康報(bào);2003年

4 崔秀鳳;學(xué)生積累經(jīng)驗(yàn)謀成長(zhǎng) 企業(yè)網(wǎng)羅人才助發(fā)展[N];北京人才市場(chǎng)報(bào);2009年

5 記者 唐峰林;新理念為企業(yè)釋疑解惑[N];柳州日?qǐng)?bào);2011年

6 周吉峰;如何成為程序員[N];中國(guó)電腦教育報(bào);2002年

7 焦艷玲;韓國(guó)唯美德?tīng)罡媲謾?quán) 上海盛大堅(jiān)稱將勝訴[N];市場(chǎng)報(bào);2004年

8 王靜;科學(xué)家在這里“造人”[N];大眾科技報(bào);2002年

9 鐘圍;激趣六法[N];中國(guó)電腦教育報(bào);2003年

10 梁建剛 本報(bào)記者 金柯;暑假，，想說(shuō)快樂(lè)不容易[N];解放日?qǐng)?bào);2004年

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

1 吳劍鋒;言語(yǔ)行為與現(xiàn)代漢語(yǔ)句類研究[D];華東師范大學(xué);2006年

2 宋春艷;論制度性事實(shí)的建構(gòu)[D];清華大學(xué);2009年

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

1 凌瑤;行政公文寫(xiě)作中的語(yǔ)用邏輯[D];長(zhǎng)春理工大學(xué);2007年

2 鄭科紅;語(yǔ)用邏輯中的語(yǔ)境研究[D];西南大學(xué);2008年

3 車付翠;計(jì)算機(jī)科學(xué)中的邏輯應(yīng)用研究[D];燕山大學(xué);2011年

4 張佳琦;電話、短信、傳銷等詐騙言語(yǔ)行為研究[D];黑龍江大學(xué);2011年

5 任淑華;心電自動(dòng)分析診斷系統(tǒng)設(shè)計(jì)[D];南京大學(xué);2011年

6 石明明;計(jì)算機(jī)語(yǔ)言學(xué)習(xí)游戲的交互性對(duì)英語(yǔ)詞匯習(xí)得的影響[D];重慶大學(xué);2012年

7 龍耀球;基于Labview仿真的溫度監(jiān)控系統(tǒng)設(shè)計(jì)[D];華南理工大學(xué);2011年

8 秦冠男;“贊揚(yáng)”語(yǔ)言行為的語(yǔ)用分析[D];吉林大學(xué);2012年

9 許娟;默即言說(shuō)：由禪宗“默”的言談技藝看其非秩序化的日常語(yǔ)言邏輯[D];陜西師范大學(xué);2012年

10 楊正北;成都市人力資源與社會(huì)保障局人力資源管理信息系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];電子科技大學(xué);2011年

本文編號(hào)：2181759