【摘 要】
：
多模态范畴类型逻辑是在组合范畴语法（CCG）和范畴类型逻辑（CTL）基础上发展起来的新方向。基于范畴语法的CCG强调函子范畴的组合运算,给各类规则中的斜线算子添加不同的模态下标,
【基金项目】
：
国家社会科学基金重大招标项目（10＆ND073）
论文部分内容阅读
多模态范畴类型逻辑是在组合范畴语法（CCG）和范畴类型逻辑（CTL）基础上发展起来的新方向。基于范畴语法的CCG强调函子范畴的组合运算,给各类规则中的斜线算子添加不同的模态下标,并在词库中给词条指派的范畴含有模态下标的斜线算子,从而限制了这些规则的适用范围,使描述自然语言的范畴推演进一步精细化。CTL则遵循严格的逻辑规范,对CCG涉及的函子范畴的各类规则从结构性质的角度把握其根源,用多模态范畴类型逻辑的方式涵盖了CCG各类规则。这就是CCG和CTL的融合产物。
其他文献
针对节能复合墙板的物理及力学性能以及在钢结构住宅中的应用研究进行了系统论述。通过比较足尺墙板的极限承栽力试验结果与墙板所承受的风荷载,复合墙板可以安全地应用于多
终端和移动互联网业务的快速发展，对运营商的网络产生巨大影响。运营商需要优化网络规划方法。实现网络对快速变化的终端和业务的有效承载。目前国内运营商对网络的规划方法仍
近日，诺基亚西门子通信与15家国际银行签订了价值13．05亿欧元的利率掉期（forward starting terra）和多货币循环信贷协议（multicurrency revolving facilities）。该协议将替换将于20
叶文玲的创作与文化理想是借助“江南文化”建构的,江南文化作为一种话语意义链贯穿叶文玲创作始终。从江南文化视角审视叶文玲的创作,以题材选择、主题内涵和文学资源为载体
本文总结了主流LSM树架构存储的数据压缩策略与不足。针对海量交通数据的存储提出了一种新的数据压缩策略，提升了读取数据的性能。
溴化锂制冷机组作为化学制药企业低温水工艺系统的重要制冷设备,其安全可靠、经济合理的运行对夏季生产的顺利进行有着十分重要的意义.本文主要根据目前化学制药企业澳化锂制
思博伦通信近日宣布，公司已经签署了收购私有企业Mu Dynamics公司（以下简称“Mu”）的决定性协议。Mu Dynamics公司总部设在美国加州的Sunnyvale，整个收购计划的现金总额为4000万