從知識表示的角度看DRT與一階謂詞邏輯
本文選題:DRT 切入點(diǎn):DRS 出處:《南京社會科學(xué)》2006年02期 論文類型:期刊論文
【摘要】:DRT是一種自然語言邏輯理論,同時也是一種知識表示方法。作為知識表示方法,DRT不僅能夠刻畫一階謂詞邏輯所能夠刻畫的自然語句,還能夠刻畫一階謂詞邏輯所不能處理的很多語言現(xiàn)象。這說明,DRT較之一階謂詞邏輯而言有更強(qiáng)的刻畫效力。
[Abstract]:DRT is not only a natural language logic theory, but also a knowledge representation method. It can also describe many linguistic phenomena which can not be handled by first-order predicate logic, which shows that DRT is more effective than first-order predicate logic.
【作者單位】: 中山大學(xué)邏輯與認(rèn)知研究所
【基金】:教育部哲學(xué)社會科學(xué)研究重大課題攻關(guān)項目(04JZD0006)資助
【分類號】:B812
【相似文獻(xiàn)】
相關(guān)期刊論文 前10條
1 高蕓;何向東;;從量化和時間表達(dá)的角度看DRT[J];重慶理工大學(xué)學(xué)報(社會科學(xué));2011年08期
2 劉強(qiáng);;話語表達(dá)理論介紹[J];語文學(xué)刊;2007年03期
3 馬洪波;;數(shù)字圖書館DRS價值及其創(chuàng)新研究綜述[J];滄桑;2009年05期
4 何衛(wèi)紅;基于主題地圖的語文教育信息資源組織方法研究[J];湖南第一師范學(xué)報;2005年03期
5 馬洪波;;基于知識的數(shù)字圖書館DRS[J];滄桑;2010年06期
6 馬洪波;;數(shù)字圖書館DRS價值及其增值機(jī)制[J];滄桑;2010年04期
7 張璐;;基于DRT的代詞回指研究[J];重慶理工大學(xué)學(xué)報(社會科學(xué));2011年08期
8 劉邦凡;;關(guān)于“知道”與“什么”的邏輯思考[J];重慶工學(xué)院學(xué)報(社會科學(xué)版);2007年03期
9 朝樂門;;基于語義Web的人機(jī)協(xié)同知識處理研究[J];圖書情報工作;2009年24期
10 杜玲娟;;從知識化中“制造”新生——記東南大學(xué)制造系統(tǒng)控制與優(yōu)化研究所所長嚴(yán)洪森教授[J];中國高校科技與產(chǎn)業(yè)化;2010年05期
相關(guān)會議論文 前10條
1 張健;朱永利;楊子強(qiáng);冀新峰;;變電站操作票推理的新型知識表示方法[A];全國電工理論與新技術(shù)學(xué)術(shù)年會(CTEE'2001)論文集[C];2001年
2 趙園丁;由麗萍;張惠春;谷波;劉開瑛;;基于框架語義的漢語文本知識表示方法[A];全國第八屆計算語言學(xué)聯(lián)合學(xué)術(shù)會議(JSCL-2005)論文集[C];2005年
3 黃安強(qiáng);張玲玲;陳全;王曉;;用于支撐智能知識發(fā)現(xiàn)的領(lǐng)域知識的表示和提取研究[A];第四屆(2009)中國管理學(xué)年會——管理科學(xué)與工程分會場論文集[C];2009年
4 周厚俊;安施才;朱正亞;;科技人員工作評價與決策的知識表示方法研究[A];1994中國控制與決策學(xué)術(shù)年會論文集[C];1994年
5 楊世錫;吳昭同;嚴(yán)拱標(biāo);;機(jī)械故障智能診斷中知識表示技術(shù)研究[A];1995年中國智能自動化學(xué)術(shù)會議暨智能自動化專業(yè)委員會成立大會論文集(下冊)[C];1995年
6 陳明亮;向興金;曾憲剛;李自立;徐紹誠;莫成孝;劉自民;;如何在專家系統(tǒng)中加入數(shù)值計算功能[A];1997中國控制與決策學(xué)術(shù)年會論文集[C];1997年
7 劉復(fù)巖;呂韶義;;構(gòu)造決策規(guī)則模型的一種方法[A];2002中國控制與決策學(xué)術(shù)年會論文集[C];2002年
8 秦晉;路強(qiáng);劉曉平;;創(chuàng)新設(shè)計中不同知識表示的比較[A];計算機(jī)技術(shù)與應(yīng)用進(jìn)展——全國第17屆計算機(jī)科學(xué)與技術(shù)應(yīng)用(CACIS)學(xué)術(shù)會議論文集(下冊)[C];2006年
9 王翠茹;辛銳;韓曉娜;;基于本體的電網(wǎng)調(diào)度系統(tǒng)知識表示的研究[A];2007北京地區(qū)高校研究生學(xué)術(shù)交流會通信與信息技術(shù)會議論文集(上冊)[C];2008年
10 鄭麗容;鄭遠(yuǎn)輝;陳崇啟;張鳳利;詹瑛瑛;林性貽;張漢輝;鄭起;;相組成對TiO_2光催化性能的影響[A];第十五屆全國分子光譜學(xué)術(shù)報告會論文集[C];2008年
相關(guān)重要報紙文章 前10條
1 孫海濤;改進(jìn)之后更精彩[N];中國計算機(jī)報;2002年
2 本報記者 段慶文;2000年營銷之最[N];中國保險報;2000年
3 劉紅;上海廣電股份將實現(xiàn)產(chǎn)業(yè)升級[N];中國經(jīng)濟(jì)時報;2000年
4 記者 張春生;平安第五屆壽險高峰會召開[N];中國保險報;2001年
5 記者 李志石;工博會成為信息產(chǎn)業(yè)最新看臺[N];國際商報;2001年
6 朱仁康;上海加快數(shù)字電視發(fā)展進(jìn)程[N];通信產(chǎn)業(yè)報;2001年
7 Singer;魚和熊掌不可兼得[N];電腦報;2001年
8 張;上廣電全力支撐信息化建設(shè)[N];中國電子報;2001年
9 北京 高守;互聯(lián)網(wǎng)之父鐘情語義網(wǎng)[N];電腦報;2002年
10 柳長華;基于知識元的中醫(yī)古籍計算機(jī)知識表示方法[N];中國中醫(yī)藥報;2004年
相關(guān)博士學(xué)位論文 前10條
1 張旭紅;回指的DRT形式方案的問題及其解決[D];上海外國語大學(xué);2012年
2 王征;車輛路徑問題的知識表示及智能建模方法研究[D];大連理工大學(xué);2007年
3 黃福玉;面向組織記憶的崗位知識管理系統(tǒng)研究[D];哈爾濱工業(yè)大學(xué);2007年
4 黃敏芳;物流配送車輛路徑方案的智能生成方法研究[D];大連理工大學(xué);2009年
5 魯斌;廣義智能系統(tǒng)柔性超拓?fù)淇臻g模型研究與應(yīng)用[D];西北工業(yè)大學(xué);2003年
6 王慶全;基于范疇論的應(yīng)急決策知識供需匹配方法研究[D];大連理工大學(xué);2009年
7 鄭驍慶;語義萬維網(wǎng)的不確定知識表示與信任計算[D];浙江大學(xué);2007年
8 李妮婭;制造業(yè)產(chǎn)品配置研究[D];吉林大學(xué);2008年
9 安莉;發(fā)酵過程生物量軟測量建模專家系統(tǒng)研究[D];北京化工大學(xué);2010年
10 陳華;基于復(fù)合代碼倉庫的多Agent程序理解環(huán)境和工具研究[D];浙江大學(xué);2004年
相關(guān)碩士學(xué)位論文 前10條
1 馮豪;面向摩托車智能設(shè)計的知識庫系統(tǒng)研究與應(yīng)用[D];重慶大學(xué);2005年
2 李曙歌;基于面向?qū)ο笾R表示的專家系統(tǒng)的實現(xiàn)[D];山東大學(xué);2006年
3 朱苗苗;基于概念圖知識表示方法的研究與實踐[D];西安建筑科技大學(xué);2008年
4 邵國平;面向語義Web的教育信息處理本體表示研究[D];華東師范大學(xué);2009年
5 黃瑋;專家系統(tǒng)在人機(jī)環(huán)可靠性評價系統(tǒng)中的應(yīng)用[D];長春理工大學(xué);2009年
6 白天;基于J2EE體系的農(nóng)業(yè)專家系統(tǒng)平臺的應(yīng)用研究[D];合肥工業(yè)大學(xué);2004年
7 湯賽麗;常識知識問答系統(tǒng)中知識庫構(gòu)建的研究與設(shè)計[D];河南大學(xué);2005年
8 吳昊;基于本體論的知識推理查詢系統(tǒng)的研究[D];江蘇大學(xué);2005年
9 丁杰;上海飛奧知識管理系統(tǒng)的分析與設(shè)計[D];哈爾濱工業(yè)大學(xué);2006年
10 李雄波;知識表示在教學(xué)領(lǐng)域的應(yīng)用研究[D];華東師范大學(xué);2007年
,本文編號:1632039
本文鏈接:http://sikaile.net/shekelunwen/ljx/1632039.html