多模态范畴类型逻辑

摘要：

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

关键词：组合范畴语法、范畴类型逻辑、多模态范畴类型逻辑

所属期刊栏目：40

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基会重大招标项目10&ND073

在线出版日期：2013-01-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：661-667