处理汉语反身代词回指照应问题的范畴类型逻辑(Bi)LLC

贾戈尔给出了处理英语反身代词回指照应问题的范畴类型逻辑系统LLC,但汉语反身代词的复杂性使得LLC并不能对其加以处理,为了弥补LLC在处理汉语反身代词回指照应中的缺陷我们才要对其进行修正,进而得到系统(Bi)LLC。汉语反身代词在回指照应问题上具有"长距离约束"、主语倾向性、"次统领约束"和先行语后置等特殊性,范畴类型逻辑系统(Bi)LLC可以处理这些问题。     

变元与指派在动态机制与组合性中的作用

文章从塔斯基(Tarski)经典语义解释出发,阐述变元在逻辑系统中扮演的角色,并对比话语表现理论中话语所指与传统变元差异,从中得出重要结论:传统变元与话语所指的差异体现出静态与动态之分;真值条件的递归性与意义理论结合,则关系到是否贯彻组合性。     

自然语言中的预设问题

介绍了弗雷格的预设理论、罗素的预设观点和斯特劳森的预设思想，追溯了预设理论的哲学渊源，分析了语言学研究预设的视角，在此基础上探讨了预设触发语和预设的投射问题。     

从组合原则的角度审视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关于句法和语义的对应话题。     

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

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