广义量词的单调性与其三种否定量词的单调性之间的关系.pdfVIP

674 安徽师范大学学报 (人文社会科学版) 2012年第40卷 同论元集合之间的关系 ，力图弄清 自然语言中的广义量词的普遍语义性质 ，以及其逻辑推演的可计算 性、复杂性等内容 ，形成 了广义量词理论。该理论 以集合论为基础，分析了广义量词一些重要的语义 普遍特征，适合处理与广义量词有关的大量 的语义现象，打破了仅仅凭借一阶逻辑给出的那些公理及 其推理规则来判断有效推理 的瓶颈，扩大了 “逻辑有效”的概念，拓展了正确 的逻辑推理形式 的范 围，有助于计算机更好地处理 自然语言o[4]223-227在本文中，如果没有特别说明，量词都是指广义量词 ； “当且仅 当”(ifandonlyif)简写成 “iff”；．符号 “ ”表示 “蕴涵”；Q表示广义量词 ，A、B、c表 示论元的集合，E表示论域 。 一 、 知识预备 广义量词可分为：1类型量词、1，1类型量词、(1，1，1类型量词、1，2类型量词等 。． 自然语言中最为普遍存在的是 (1类型和 (1，1类型的广义量词 ；前者表示集合 的性质，后者表 示集合之间的二元关系。常见名词短语对应 (1类型量词 ，大多数 限定词对应 1，1类型量 词o[5~11-12由于对 1类型量词的研究可以转化成对其 1，1类型的亲缘量词的研究，因此 ，本文 重点研究 (1，1类型量词 。以 (1，1类型量词开头的语句都具有 Q (A，B)这样的三分结构 ，这 种结构在 自然语言中普遍存在 。例如 ：在 “大多数人都睡着 了”这一语句中， “大多数”是 1，1 类型量词 ，此时它表示 “人”所对应的集合 A与 “睡着 了的个体”所对应的集合 B之间具有 IAnB I IA—BI的性质 ，即，睡着了的人的集合的基数大于没有睡着了的人的集合 的基数 。在广义量 词理论中， “大多数”的真值定义是 ：大多数 (A；B)骨 fAnBl lA—BI。 一 个广义量词 Q有三种否定量词 ，即，外否定量词 (outernegation) Q、内否定量词 (inner negation)Q 、对偶 (dua1)否定量词 Q 。 若 Q 与 Q 互为外否定量词 ，则 “Q AsareB”就是 “Q AsareB”的否定 ；即 “Q Asare B”的外否定等价于 “ItisnotthecasethatQmAsareB”。这样 ，对命题的否定就转化成对量词的外 否定运算 ，这可 以写成 Q 一 Q ，因此 Q 一 Q 一 Q 。 若 Q 与 Q 互为内否定量词 ，则 “Q AsareB”等价于 ·“Q AsarenotB”。这可以看作把内否 定 Q 应用到 A和B的指称 中。 若 Q 与 Q 互为对偶否定量词 ，则 Q 的对偶否定就是 Q 的内否定的外否定，或 Q 的对偶否 定就是 的外否定的内否定 。即 Qd一 (Q )一 ( Q ) === Qm 。 定义 1 1，1类型量词的三种否定运算 ： 对 1，1类型量词 Q而言，令 E是一个论域 ，且 ACE，定义 ：(1)( Q)E(A，B)铮非 QE(A， B)；(2)(Q )E(A，B)甘 QE(A，E—B)；(3)(Q )E(A，B)甘 (Q_1)E(A，B)铮 (_1Q)E-1(A，B)。 广义量词的主要性质包括 ：同构闭包性、驻留性 、扩展性 、单调性 、对称性 、相交性 以及逻辑 性。[3单调性是广义量词最为重要的语义性质，比如：用广义量词的单调性可解释或判断_个亚氏三 段论或扩展的三段论是否有效以及这些三段论之间是否具有可化归关系 [6]。广义量词的单调性与其否 定量词的单调性之间有着极为密·切的关系。 定义 2令 Q是任意的 1，1类型量词 ： (1)QE是右单调递增的(记作Mon十)，iff：若B c E，则Q (A，B) QE(A，C) (2)QE是右单调递减 的(记作 Mon )，iff：若 C B E，则 QE(A，B) QE(A，C)。 (3)QE是左单调递增的(记作 十Mon)，iff：若A C E，则QE(A，B) QE(C，B)。 (4)Q 是左单调递减的(记作4，Mon)，iff：若C Am_E，则Q (A，B) QE(c，B)。。 (5)QE是左单调递减且右单调递增的(记作 Mon千)，iff：若B C E，则 QE(A，B) Q (A， C)；且若 D A E，则 QE(A，B)=QE(D，B)。