本文關(guān)鍵詞：自然語言語篇推理的形式化探究

  更多相關(guān)文章： 廣義量詞 語篇推理 傳統(tǒng)三段論 廣義三段論

【摘要】：不論是對(duì)自然語言信息處理,還是對(duì)計(jì)算機(jī)科學(xué)中的知識(shí)表示和知識(shí)推理而言,自然語篇推理既是不可回避的研究重點(diǎn),也是研究的難點(diǎn)。在利用廣義量詞理論對(duì)語篇推理進(jìn)行形式化的基礎(chǔ)上,既可以對(duì)基于傳統(tǒng)三段論的語篇推理的有效性加以判定,也可以對(duì)基于廣義三段論的語篇推理的有效性加以判定。換言之,利用廣義量詞理論可以形式化地解釋和證明自然語言語篇推理。
【作者單位】： 中國社會(huì)科學(xué)院哲學(xué)研究所;華中科技大學(xué)哲學(xué)系;
【關(guān)鍵詞】： 廣義量詞 語篇推理 傳統(tǒng)三段論 廣義三段論
【基金】：國家社會(huì)科學(xué)基金項(xiàng)目(15XYY012)
【分類號(hào)】：H0-05
【正文快照】： 不論是對(duì)自然語言信息處理,還是對(duì)計(jì)算機(jī)科學(xué)中的知識(shí)表示和知識(shí)推理而言,語篇推理既是不可回避的研究重點(diǎn),也是研究的難點(diǎn)。研究表明:利用廣義量詞理論(generalized quantifier theory)可以形式化地解釋和證明自然語言的語篇推理。本文的研究屬于邏輯學(xué)、語言學(xué)(包括計(jì)算語言，

本文編號(hào)：1061869