从组合原则的角度审视DRT

话语表现理论DRT（Discourse Representation Theory）的组合性问题一直受到学界关注。DRT的组合问题,涉及到DRS（Discourse Representation Structure）自身的构造问题,还涉及到DRT能否为自然语言提供组合的语义表征,即像蒙太格语法MG（Montague Grammar）那样做到句法和语义的对应。不少学者尝试给出组合版本的DRT。Jan van Eijck和Hans Kamp为解决DRT的组合问题,对DRS进行合理的重构。Zeevat,Muskens,Eijck和Kamp等人也从自然语言的句法生成和DRS的构造关系的角度思考DRT关于句法和语义的对应话题。     

处理照应关系的范畴类型逻辑

范畴类型逻辑把自然语言的毗连组合归结成运算和推演,而运算和推演所依赖的毗连组合则遵循"邻近原则"逐层逐级进行.话语表现理论擅长刻画的自然语言语句中代词和名词的照应关系,在范畴类型逻辑那里很难通过邻近毗连组合的运算推演体现出来.近年来,西方学者Jger尝试增添范畴类型逻辑的推演工具去描述自然语言的照应关系,取得了一定成果.但为恰当说明句子序列中的照应关系,还需对Jger的方案做一点增补.     

问句逻辑的三种研究方法!

#问句是日常语言中非常重要的句式结构!从逻辑角度研究问句的方法也不少!其中!博弈问句模型"推理问 句逻辑和探究语义学!代表了三种不同的研究思路# 博弈问句模型使用图表推理的方式分析涉及问句的会话!可以比较 不同提问方式的策略优劣# 推理问句逻辑有完整的语义解释和句法定义!直观地刻画了问句的推理关系# 探究语义学 在形式上与现代逻辑比较一致!可以构建带问句的逻辑系统!统一地处理命题和问题的逻辑性质#     

逻辑在中国振兴的基本途径

在新世纪里，如何实现中国逻辑的现代化，从而助力中华文化的伟大复兴？重点需要坚持三个结合：即教学与研究相结合、理论研究与应用研究相结合、提高与普及相结合。     

从范畴类型逻辑看蒙太格语法的被动转换规则

蒙太格语法是对范畴语法的继承,其句法规则采纳的是"毗连运算"这种遵循范畴语法函项应用原则的操作。但是在蒙太格语法中体现被动转换操作的扩展规则那里似乎看不到范畴语法的作用,被动转换规则是否遵循范畴语法的规律?以蒙太格语法对英语被动句——"结构被动句"的分析为例,从范畴语法的现代版本——范畴类型逻辑的视角来审视蒙太格语法的转换过程,获得的结论是:范畴类型逻辑提供的工具可以证明被动句转换的合理性,蒙太格语法扩展的被动转换规则同样遵循了范畴语法的规律。     

基于句法和语义对应的汉语CCG研究

句法和语义对应的原则是形式语义学中最为重要的原则之一,组合范畴语法CCG更是彻底地延续了这个思想,为自然语言的计算机处理提供了句法和语义的透明接口。汉语的CCG处理在贯彻该原则时产生的问题是：句法方面获得长足进展,而语义方面却相对滞后。以汉语多重介词短语句为例,动词论元的灵活语序现象是句法和语义对应的难点之一。Hoffman提出的多重论元集CCG方法是解决灵活语序的有效手段,但在这种处理方法中,需要找出一些方法来简化形式语义的表述方式,这样才能获得与句法范畴推演相对应的语义类型推演。     

汉语名-名组合的形式语义探析

不论是在人类智能领域还是人工智能领域,名词都起着非常重要的认知作用。名词与名词的组合（简称“名-名组合”）在心理学、语言学、认知科学、逻辑学等领域备受关注。而如何选用恰当的工具刻画名-名组合,对揭示名词的句法和语义功能起着至关重要的作用。以集合论为工具,以最直观的方式刻画不同类型的名-名组合的本质特征,进而明确不同语境下名词的形式语义,这有助于机器正确理解和分析不同文本中名词的准确涵义。     

形式语义学和汉语语义研究

形式语义学的主要理论有蒙太格语法、广义量词理论、话语表述理论、情境语义学和类型逻辑语法,这些理论基于各自不同的侧重对自然语言语义展开了研究.从形式语义学角度分析汉语语义,汉语灵活语序的语义问题以及汉语句法和语义的关系等问题是值得关注的.