英国逻辑学家Ruth Kempson于21世纪初创立并发展了一套面向计算的动态句法学理论（Dynamic Syntax）。动态句法学把句法和语义融合在一个能够对语句进行完整解析的理论框架里，从而将结构形式和语义功能的解释统一起来，并运用类型逻辑、模态逻辑等形式工具构建自然语言的命题表征。本课题的研究对象是汉语里使用频率较高的一系列“连”字句，其语义解析受到（隐含）语境和语用推理影响，主要表现在句型与语境和词汇信息之间的互动上。以动态句法学为框架研究“连”字句，可以为兼顾语用视角的逻辑语义交叉研究提供新的思路。本书运用形式逻辑的研究方法为“连”字句解析进行计算建模。本课题从即时交际现象出发，用形式化的方式对其进行抽象，并给出合适的计算模型。面向计算的逻辑解析方法。“连”字句的使用体现了汉语特有的结构、语义和语用互动现象。