基于广义量词单调性的自然语言推理模式研究 - Core.PDF

DOI :10 ． 13796 /j ． cnki． 1001 － 5019 ． 2015 ． 05 ． 005 基于广义量词单调性的自然语言推理模式研究 ， 黄朝阳 张晓君 : 、 、 。 摘 要 广义量词理论是现代逻辑学 理论语言学 计算语言学等交叉领域的重点研究内容之一 。 利用广义量词的单调性可以解释或判断自然语言推理的有效性 对此有十二个事实和十二个推论可以 。 印证 此项研究对计算机科学中的知识推理和广义量词理论的发展都具有较为重要的理论价值和实践 意义。 : ; ; ; ; 关键词 广义量词理论 广义量词 集合 单调性 自然语言推理 中图分类号:B81 文献标识码:A 文章编号:1001 － 5019 (2015)05 － 0034 － 06 : (12YJ 基金项目 教育部人文社会科学研究规划基金项目 : ， ( 361005); ， 作者简介 黄朝阳 厦门大学哲学系教授 福建厦门 张晓君 四川师范大学政治教育学 ， ( 610066)。 院副研究员 哲学博士 四川成都 (generalized quantifier theo- 理， 广义量词理论 就需要对自然语言的基本单位!!常常以词 ry)是在一阶逻辑和模型论的基础上发展起来 语形式出现的广义量词的意义进行精准的形式 ， 。 的自然语言逻辑理论 是表达力较强的逻辑工 刻画 通常的语言学对词语意义的解释和描述 ， 。 ， ， 具 具有诸多重要的研究成果和广泛的用途 是模糊不清的 因此 我们需要突破语言学的方 ， 。 ， 该理论主要通过广义量词的真值定义 来表达 法来解释词语的意义 经过长期的研究发现 ， 广义量词所涉及的论元集合的性质或不同论元 利用数学的方法和其他非语言学的方法 可以 ， 较为精确地解释自然语言中普遍存在的广义量 集合之间的关系 以达到表达广义量词的逻辑 。 。 ， 推理性质和普遍语义性质的目的 利用广义量 词的意义 事实上 广义量词理论不但可以精 ( : 、 、 ， 词各种语义性质 比如 单调性 对称性 驻留 确地表达广义量词本身的意义 而且还可以精 ) ， ( ， 性等 及其相互关系 以及广