摘要
多模态范畴类型逻辑是在组合范畴语法(CCG)和范畴类型逻辑(CTL)基础上发展起来的新方向。基于范畴语法的CCG强调函子范畴的组合运算,给各类规则中的斜线算子添加不同的模态下标,并在词库中给词条指派的范畴含有模态下标的斜线算子,从而限制了这些规则的适用范围,使描述自然语言的范畴推演进一步精细化。CTL则遵循严格的逻辑规范,对CCG涉及的函子范畴的各类规则从结构性质的角度把握其根源,用多模态范畴类型逻辑的方式涵盖了CCG各类规则。这就是CCG和CTL的融合产物。
Multi-modal Categorial Type Logic is the new development of formal semantics with both Combinatory Categorial Grammar（CCG） and Categorial Type Logic（CTL） as its basis.While CCG-based Categorial Grammar puts its emphasis on the combinatory operations of the functors and restricts the applications of combinatory rules by adding different labels to the slash operators in lexicon,CTL follows the logic tradition strictly by comprehending the various combinatory rules in CCG in a multi-modal way.There comes the integration of CCG and CTL,which means the stimulation of CCG in CTL.
出处
《安徽师范大学学报（社会科学版）》
CSSCI
北大核心
2012年第6期661-667,共7页
Journal of Anhui Normal University(Hum.&Soc.Sci.)
基金
国家社会科学基金重大招标项目(10&ND073)
关键词
组合范畴语法
范畴类型逻辑
多模态范畴类型逻辑
combinatory categorial grammar
categorial type logic
multi-modal categorial type logic
