范畴类型逻辑相关论文
指代消解是人工智能研究领域的重点和难点内容之一，因而产生了各种各样的指代消解的方法。从逻辑学的角度介绍了十四种指代消解的方......
范畴类型逻辑把自然语言的毗连组合归结成运算和推演，而运算和推演所依赖的毗连组合则遵循“邻近原则”逐层逐级进行。话语表现理论......
范畴类型逻辑CTL和组合范畴语法CCG,是范畴语法CG的两个现代版本.CTL采用传统的逻辑语义学方式,其特点是强调计算的思想、基于规则......
利用范畴类型逻辑对古汉语使动双宾语语句进行逻辑分析时,句法和语义的组合可以同时在树结构中展示出来,句法组合伴随了语义方面的......
多模态范畴类型逻辑是在组合范畴语法（CCG）和范畴类型逻辑（CTL）基础上发展起来的新方向。基于范畴语法的CCG强调函子范畴的组合运算,给......
格语法的基本思想是：自然语言语句的底层结构以动词为中心,动词的论元由动词周围具有不同格角色的名词所担任,构成复合表达式的部分......
贾戈尔给出了处理英语反身代词回指照应问题的范畴类型逻辑系统LLC,但汉语反身代词的复杂性使得LLC并不能对其加以处理,为了弥补LL......
范畴类型逻辑序列是近30年来语言和逻辑交叉研究的重要学派,是对自然语言的计算机处理影响很大的形式语义理论。该理论把自然语言......
范畴类型逻辑利用词条在类型λ-演算语言中的意义,不仅可以决定从自然语言到语义表示语言的组合翻译,而且还可以决定对象语言的组......
逻辑语义学是用逻辑和数学的方法研究自然语言的新兴学科，它的研究范围不仅涉及逻辑学、语言学还涉及到认知科学、语言哲学、数学、......
汉语句子具有灵活的语序 ,主语、宾语和状语可出现在不同的位置上而使得句义大致保持不变。从范畴类型逻辑角度看 ,需要提供说明汉......
