多模态范畴类型逻辑

发布时间：2017-10-05 09:19

  本文关键词：多模态范畴类型逻辑

  更多相关文章： 组合范畴语法 范畴类型逻辑 多模态范畴类型逻辑

【摘要】：多模态范畴类型逻辑是在组合范畴语法(CCG)和范畴类型逻辑(CTL)基础上发展起来的新方向。基于范畴语法的CCG强调函子范畴的组合运算,给各类规则中的斜线算子添加不同的模态下标,并在词库中给词条指派的范畴含有模态下标的斜线算子,从而限制了这些规则的适用范围,使描述自然语言的范畴推演进一步精细化。CTL则遵循严格的逻辑规范,对CCG涉及的函子范畴的各类规则从结构性质的角度把握其根源,用多模态范畴类型逻辑的方式涵盖了CCG各类规则。这就是CCG和CTL的融合产物。
【作者单位】： 中国社会科学院哲学所;
【关键词】： 组合范畴语法 范畴类型逻辑 多模态范畴类型逻辑
【基金】：国家社会科学基金重大招标项目(10&ND073)
【分类号】：B812
【正文快照】： 一、CCG的基本情况多模态范畴类型逻辑(Multi-Modal Categorial type logics)是在组合范畴语法CCG(Combina-tory Categorial Grammar)和范畴类型逻辑CTL(Categorial type logics)相互作用的产物。某种意义讲,CCG是这里的主题内容,而CTL是严格的表述方式。所以,首先介绍CCG。CC

【相似文献】

中国期刊全文数据库 前10条

1 邹崇理;;多模态范畴逻辑研究[J];哲学研究;2006年09期

2 ;写在前面[J];重庆理工大学学报(社会科学);2011年08期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

中国硕士学位论文全文数据库 前3条

1 江维;函子与函子范畴的若干问题及应用研究[D];福建师范大学;2012年

2 叶长信;两类预加法范畴的相关研究[D];福建师范大学;2012年

3 赵晓;拟Abelian范畴局部化的若干问题研究[D];福建师范大学;2012年

，

本文编号：975989