多模态范畴类型逻辑

多模态范畴类型逻辑是在组合范畴语法(CCG)和范畴类型逻辑(CTL)基础上发展起来的新方向.基于范畴语法的CCG强调函子范畴的组合运算,给各类规则中的斜线算子添加不同的模态下标,并在词库中给词条指派的范畴含有模态下标的斜线算子,从而限制了这些规则的适用范围,使描述自然语言的范畴推演进一步精细化.CTL则遵循严格的逻辑规范,对CCG涉及的函子范畴的各类规则从结构性质的角度把握其根源,用多模态范畴类型逻辑的方式涵盖了CCG各类规则.这就是CCG和CTL的融合产物.