從經(jīng)典命題邏輯到原始蘭貝克演算,基于規(guī)則的存廢形成了演算的"結(jié)構(gòu)層級(jí)"。對(duì)于自然語(yǔ)言的計(jì)算處理來(lái)說(shuō),各層級(jí)系統(tǒng)各有優(yōu)劣。雖然原始蘭貝克演算較好地體現(xiàn)了自然語(yǔ)言的資源管理方式,但它是一種非結(jié)合非交換的系統(tǒng),故在計(jì)算處理上存在許多不足之處。依據(jù)交換規(guī)則和結(jié)合規(guī)則的不同取舍,形成了四個(gè)層級(jí)的蘭貝克演算系統(tǒng)。不同蘭貝克演算系統(tǒng)具有不同語(yǔ)料描述模式,故處理語(yǔ)言現(xiàn)象的專長(zhǎng)有別。系統(tǒng)LLC(或LLCW′)使原始蘭貝克演算增加了后承前件中資源可重復(fù)使用的能力,混合范疇類型邏輯使原始蘭貝克演算增加了受控的結(jié)合能力或交換能力,二者合并之結(jié)果應(yīng)是自然語(yǔ)言計(jì)算處理的理想工具。

【文章頁(yè)數(shù)】：6 頁(yè)

【文章目錄】：
一、經(jīng)典命題邏輯
    (一) 未進(jìn)入層級(jí)的經(jīng)典命題邏輯
    (二) 進(jìn)入層級(jí)的經(jīng)典命題邏輯
二、直覺(jué)主義邏輯及其子結(jié)構(gòu)邏輯
    (一) 直覺(jué)主義邏輯
    (二) 相干邏輯
    (三) 線性邏輯
    (四) 蘭貝克演算
三、句法演算層級(jí)系統(tǒng)在自然語(yǔ)言計(jì)算處理中的優(yōu)劣分析
四、基于蘭貝克演算對(duì)自然語(yǔ)言進(jìn)行計(jì)算處理的困境與出路



本文編號(hào)：3898917