自然语言语篇推理的形式化探究

发布时间：2017-10-19 15:29

  本文关键词：自然语言语篇推理的形式化探究

  更多相关文章： 广义量词 语篇推理 传统三段论 广义三段论

【摘要】：不论是对自然语言信息处理,还是对计算机科学中的知识表示和知识推理而言,自然语篇推理既是不可回避的研究重点,也是研究的难点。在利用广义量词理论对语篇推理进行形式化的基础上,既可以对基于传统三段论的语篇推理的有效性加以判定,也可以对基于广义三段论的语篇推理的有效性加以判定。换言之,利用广义量词理论可以形式化地解释和证明自然语言语篇推理。
【作者单位】： 中国社会科学院哲学研究所;华中科技大学哲学系;
【关键词】： 广义量词 语篇推理 传统三段论 广义三段论
【基金】：国家社会科学基金项目(15XYY012)
【分类号】：H0-05
【正文快照】： 不论是对自然语言信息处理,还是对计算机科学中的知识表示和知识推理而言,语篇推理既是不可回避的研究重点,也是研究的难点。研究表明:利用广义量词理论(generalized quantifier theory)可以形式化地解释和证明自然语言的语篇推理。本文的研究属于逻辑学、语言学(包括计算语言，

本文编号：1061869