不论是对自然语言信息处理,还是对计算机科学中的知识表示和知识推理而言,自然语篇推理既是不可回避的研究重点,也是研究的难点。在利用广义量词理论对语篇推理进行形式化的基础上,既可以对基于传统三段论的语篇推理的有效性加以判定,也可以对基于广义三段论的语篇推理的有效性加以判定。换言之,利用广义量词理论可以形式化地解释和证明自然语言语篇推理。