多模态范畴类型逻辑

作者：邹崇理

来源：安徽师范大学学报(人文社会科学版), 2012, (06): 661-667.

DOI：10.14182/j.cnki.j.anu.2012.06.010

• 组合范畴语法
• 范畴类型逻辑
• 多模态范畴类型逻辑 combinatory categorial grammar
• categorial type logic
• multi-modal categorial type logic

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

• 单位
  中国社会科学院哲学研究所