动态句法学的逻辑与计算思想

Logic and Computing Thinking in Dynamic Syntax

动态句法学本质上是自然语言句法语义的计算分析理论,它继承了自然语言理解的加标演绎思想,并结合了模态树逻辑的技术。该理论的提出是逻辑与计算在自然语言研究中的一次富有成效的结合,其主要特点是句法树的动态生成和句法语义并行演绎,这实际上也符合自然语言的真实理解过程。

In essence, dynamic syntax is a theory of syntax which inherits the basic concepts of LDSNL, and adapts the techniques of the Logic of Finite Trees. As a fruit of the combination between the logic techniques and the computing thinking of natural language, it is mainly characterized by the ＂growth＂ of syntactic trees and the parallelism deductions of syntax and semantics, which can be viewed as an analogue to the actual processing of natural language understanding.