范疇類型邏輯利用詞條在類型λ-演算語言中的意義,不僅可以決定從自然語言到語義表示語言的組合翻譯,而且還可以決定對(duì)象語言的組合解釋;通過證明樹中詞條的不同毗連順序以及對(duì)同一詞條指派不同的范疇,可以從邏輯推演和計(jì)算的雙重視角對(duì)漢語反身代詞的指代歧義進(jìn)行消解。 

【文章來源】：湖北大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版). 2020,47(03)北大核心CSSCI

【文章頁數(shù)】：8 頁

【文章目錄】：
一、引言
二、常見的指代消解理論及其消解機(jī)制
三、范疇類型邏輯的基本思想
四、相關(guān)詞庫及推理規(guī)則
五、漢語反身代詞歧義消解實(shí)例分析
六、結(jié)語



本文編號(hào)：3373846