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

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

【部分圖文】：

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

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

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

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

本文編號：3982761