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

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

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

【部分圖文】：

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

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

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

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

本文編號(hào)：3982761