本文關(guān)鍵詞：動(dòng)態(tài)謂詞邏輯的改進(jìn)與擴(kuò)張

  更多相關(guān)文章： 動(dòng)態(tài)謂詞邏輯 動(dòng)態(tài)蒙太格語法 動(dòng)態(tài)語義學(xué)

【摘要】：動(dòng)態(tài)謂詞邏輯實(shí)質(zhì)上是利用計(jì)算機(jī)程序的狀態(tài)間的關(guān)系來描述自然語言的語義,動(dòng)態(tài)謂詞邏輯體現(xiàn)了這樣一個(gè)統(tǒng)一的觀念:所有的意義都是狀態(tài)之間的關(guān)系,"意義就是潛在的語境更新"。動(dòng)態(tài)謂詞邏輯的改進(jìn)與擴(kuò)張有四種主要方式。從動(dòng)態(tài)謂詞邏輯向動(dòng)態(tài)蒙太格語法發(fā)展有兩種思路歷程。動(dòng)態(tài)語義學(xué)的基本理念是:在動(dòng)態(tài)語義學(xué)中,意義被看作是模型中的狀態(tài)變元之間的關(guān)系。
【作者單位】： 廈門大學(xué)哲學(xué)系;中國社會(huì)科學(xué)院哲學(xué)所邏輯室;
【關(guān)鍵詞】： 動(dòng)態(tài)謂詞邏輯 動(dòng)態(tài)蒙太格語法 動(dòng)態(tài)語義學(xué)
【基金】：鄒崇理研究員主持的國家社科基金重大招標(biāo)項(xiàng)目“自然語言信息處理的邏輯語義學(xué)研究”的階段性成果,課題批準(zhǔn)號(hào)為:10＆ZD073
【分類號(hào)】：B812
【正文快照】： 在對自然語言進(jìn)行信息處理時(shí)，我們希望能夠用一種就地及時(shí)處理的方式對話語或篇章進(jìn)行解釋，，組合性原則成了考慮問題的出發(fā)點(diǎn)。雖然經(jīng)典的蒙太格語法滿足組合性原則，但它卻不能夠動(dòng)態(tài)地處理語義現(xiàn)象。而坎普(KamP)的話語表現(xiàn)理論(Diseourse Representation Theory，簡稱DRT

【相似文獻(xiàn)】

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前1條

1 薛彩霞;試論話語表現(xiàn)理論與動(dòng)態(tài)謂詞邏輯[D];河南大學(xué);2008年

本文編號(hào)：553610