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