摘要：從經(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ì)算處理的理想工具.