多模态范畴类型逻辑
万方数据知识服务平台
应用市场
我的应用
会员HOT
万方期刊
×

点击收藏,不怕下次找不到~

@万方数据
会员HOT

期刊专题

多模态范畴类型逻辑

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

组合范畴语法、范畴类型逻辑、多模态范畴类型逻辑

40

B81(逻辑学(论理学))

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

2013-01-18(万方平台首次上网日期,不代表论文的发表时间)

共7页

661-667

相关文献
评论
暂无封面信息
查看本期封面目录

安徽师范大学学报(人文社会科学版)

1001-2435

34-1041/C

40

2012,40(6)

相关作者
相关机构

专业内容知识聚合服务平台

国家重点研发计划“现代服务业共性关键技术研发及应用示范”重点专项“4.8专业内容知识聚合服务技术研发与创新服务示范”

国家重点研发计划资助 课题编号:2019YFB1406304
National Key R&D Program of China Grant No. 2019YFB1406304

©天津万方数据有限公司 津ICP备20003920号-1

信息网络传播视听节目许可证 许可证号:0108284

网络出版服务许可证:(总)网出证(京)字096号

违法和不良信息举报电话:4000115888    举报邮箱:problem@wanfangdata.com.cn

举报专区:https://www.12377.cn/

客服邮箱:op@wanfangdata.com.cn