多模態(tài)范疇類型邏輯
2012-04-29 00:00:00鄒崇理
安徽師范大學(xué)學(xué)報 2012年6期
摘要： 多模態(tài)范疇類型邏輯是在組合范疇語法（CCG）和范疇類型邏輯（CTL）基礎(chǔ)上發(fā)展起來的新方向?；诜懂犝Z法的CCG強調(diào)函子范疇的組合運算，給各類規(guī)則中的斜線算子添加不同的模態(tài)下標(biāo)，并在詞庫中給詞條指派的范疇含有模態(tài)下標(biāo)的斜線算子，從而限制了這些規(guī)則的適用范圍，使描述自然語言的范疇推演進一步精細化。CTL則遵循嚴(yán)格的邏輯規(guī)范，對CCG涉及的函子范疇的各類規(guī)則從結(jié)構(gòu)性質(zhì)的角度把握其根源，用多模態(tài)范疇類型邏輯的方式涵蓋了CCG各類規(guī)則。這就是CCG和CTL的融合產(chǎn)物。
關(guān)鍵詞： 組合范疇語法；范疇類型邏輯；多模態(tài)范疇類型邏輯
中圖分類號： B81文獻標(biāo)志碼： A文章編號： 10012435（2012）06066107
