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

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

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

本文編號：1061869