發(fā)布時間：2024-05-27 04:17

　　邏輯學是自然科學和人文社會科學共同的基礎學科,邏輯是構筑科學理論的工具。邏輯方法滲透到各門學科中導致創(chuàng)新驅動:邏輯和語言學的交叉研究產生了范疇語法的重大創(chuàng)新;邏輯與計算機科學的交叉融合引起了計算機科學的創(chuàng)新發(fā)展。在我國,邏輯針對語言學以及計算機科學的交叉研究尚明顯不足,造成學科創(chuàng)新或理論創(chuàng)新的乏力,需要大力推進交叉創(chuàng)新研究。

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

【部分圖文】：

圖2例句(1)的句法分析樹由于CCG兼具語言學基于詞匯的經(jīng)驗主義靈幾乎在同時間給出完全不同且又相互等價的定

第21卷鄒崇理，等:邏輯、語言和計算的交叉創(chuàng)新和“函子范疇的右貼合”規(guī)則(見圖2)。圖2例句(1)的句法分析樹由于CCG兼具語言學基于詞匯的經(jīng)驗主義和邏輯學基于規(guī)則的理性主義兩方面的優(yōu)勢，其創(chuàng)新價值不言而喻。CCG的研究較大程度滿足了計算機處理大規(guī)模真實文本的需要，根據(jù)CCG設計....

圖3minML的類型系統(tǒng)

第21卷鄒崇理，等:邏輯、語言和計算的交叉創(chuàng)新次的句法”①。借鑒邏輯類型論的風格，編程語言minML的類型系統(tǒng)表述如圖3。圖3minML的類型系統(tǒng)可以看出，在編程語言minML的類型系統(tǒng)中，函數(shù)類型的構造規(guī)則與邏輯的根岑系統(tǒng)的蘊涵引入與消去規(guī)則極其相似。這種相似性并非偶然，實質上....

本文編號：3982761