摘要

AB-演算刻画句法推演能力太弱,许多合语法的语句在AB-演算中没有合适的推演形式。斯蒂德曼(Steedman)在AB-演算基础上增加组合规则,产生了标准的组合范畴语法CCG;CCG刻画推演能力太强,不仅能推演出所有合语法的语句,而且可以推演出不合语法的语句;为制止非法句子的可推演性,就需要对推理规则做出限制,因为各种自然语言的特殊性,这种限制又会因语言而异,导致CCG失去一定的普遍性。鲍德里奇(Jason Baldridge)和克鲁伊夫(Geert-Jan M.Kruijff)把模态词引入CCG,由此产生了多模态组合范畴语法MMCCG;MMCCG摒弃了CCG的限制规则的策略,在词法上控制组合规...