范畴类型逻辑相关论文
自然语言是一个由较小语言成分逐步递增地形成较大语言成分的符号体系，这就是自然语言的毗连性（concatenation）。通过毗连，自然语言符......
皮尔士谜题关注的是自然语言及其形式化表达式真值不一致的问题。本文在概述皮尔士谜题的基本构造及其解决方案的基础上,借助范畴......
指代消解是人工智能研究领域的重点和难点内容之一，因而产生了各种各样的指代消解的方法。从逻辑学的角度介绍了十四种指代消解的方......
范畴类型逻辑基本思想中的＂完整的＂和＂非完整的＂表达式的概念,以及乔姆斯基（Chomsky）所提出的＂完整的功能复合体＂（complete functional comp......
介绍2018年9月出版的《自然语言信息处理的逻辑语义学研究》的写作背景及其主要内容。指出该书有3个鲜明特色:理论性与应用性结合......
范畴类型逻辑把自然语言的毗连组合归结成运算和推演，而运算和推演所依赖的毗连组合则遵循“邻近原则”逐层逐级进行。话语表现理论......
范畴类型逻辑CTL和组合范畴语法CCG,是范畴语法CG的两个现代版本.CTL采用传统的逻辑语义学方式,其特点是强调计算的思想、基于规则......
利用范畴类型逻辑对古汉语使动双宾语语句进行逻辑分析时,句法和语义的组合可以同时在树结构中展示出来,句法组合伴随了语义方面的......
多模态范畴类型逻辑是在组合范畴语法（CCG）和范畴类型逻辑（CTL）基础上发展起来的新方向。基于范畴语法的CCG强调函子范畴的组合运算,给......
格语法的基本思想是：自然语言语句的底层结构以动词为中心,动词的论元由动词周围具有不同格角色的名词所担任,构成复合表达式的部分......
贾戈尔给出了处理英语反身代词回指照应问题的范畴类型逻辑系统LLC,但汉语反身代词的复杂性使得LLC并不能对其加以处理,为了弥补LL......
范畴类型逻辑序列是近30年来语言和逻辑交叉研究的重要学派,是对自然语言的计算机处理影响很大的形式语义理论。该理论把自然语言......
范畴类型逻辑利用词条在类型λ-演算语言中的意义,不仅可以决定从自然语言到语义表示语言的组合翻译,而且还可以决定对象语言的组......
范畴语法的最早形式是AB-演算,目前已发展成为一系列相互联系的形式系统,它们把句法分析和语义分析视为基于类型的推理。范畴语法......
汉语句子具有灵活的语序 ,主语、宾语和状语可出现在不同的位置上而使得句义大致保持不变。从范畴类型逻辑角度看 ,需要提供说明汉......
