逻辑、语言和计算的交叉创新

发布时间：2024-05-27 04:17

　　逻辑学是自然科学和人文社会科学共同的基础学科,逻辑是构筑科学理论的工具。逻辑方法渗透到各门学科中导致创新驱动:逻辑和语言学的交叉研究产生了范畴语法的重大创新;逻辑与计算机科学的交叉融合引起了计算机科学的创新发展。在我国,逻辑针对语言学以及计算机科学的交叉研究尚明显不足,造成学科创新或理论创新的乏力,需要大力推进交叉创新研究。

【文章页数】：9 页

【部分图文】：

图2例句(1)的句法分析树由于CCG兼具语言学基于词汇的经验主义灵几乎在同时间给出完全不同且又相互等价的定

第21卷邹崇理，等:逻辑、语言和计算的交叉创新和“函子范畴的右贴合”规则(见图2)。图2例句(1)的句法分析树由于CCG兼具语言学基于词汇的经验主义和逻辑学基于规则的理性主义两方面的优势，其创新价值不言而喻。CCG的研究较大程度满足了计算机处理大规模真实文本的需要，根据CCG设计....

图3minML的类型系统

第21卷邹崇理，等:逻辑、语言和计算的交叉创新次的句法”①。借鉴逻辑类型论的风格，编程语言minML的类型系统表述如图3。图3minML的类型系统可以看出，在编程语言minML的类型系统中，函数类型的构造规则与逻辑的根岑系统的蕴涵引入与消去规则极其相似。这种相似性并非偶然，实质上....

本文编号：3982761