【摘要】：文章扼要闡明了語用邏輯的研究對象、內(nèi)容和主要特點(diǎn) ,并介紹了這一領(lǐng)域的國內(nèi)外研究現(xiàn)狀。在此基礎(chǔ)上 ,文章側(cè)重描述了計(jì)算機(jī)語言作為語用語言的邏輯特征 ,包括對計(jì)算機(jī)語言的語法分析和語義分析。最后 ,本文通過研究如何在prolog語言中使用IL分析方法表明了語用邏輯在人工智能中的應(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集的決策樹測試屬性選擇方法[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ī)器翻譯中源語分析的研究與探討[J];安陽工學(xué)院學(xué)報(bào);2006年02期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

4 萬亞楠;基于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 王啟明;匯編語言智能計(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];中國地質(zhì)大學(xué)（北京）;2011年

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

7 焦艷玲;韓國唯美德狀告侵權(quán) 上海盛大堅(jiān)稱將勝訴[N];市場報(bào);2004年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

本文編號(hào)：2181759