基于广义量词理论的亚氏三段论

揭示了如何从广义量词理论的角度来理解三段论推理。有效的亚氏三段论可以通过作为广义量词特例的亚氏量词的语义定义加以证明。从亚氏量词的语义性质,比如单调性、对称性可以说明亚氏三段论的有效性。亚氏三段论的可化归性反映了亚氏量词与其三种否定量词的语义性质(比如单调性)之间的可转换性。

广义量词理论:自然语言推理的简便工具

广义量词理论的基础是集合论。该理论注重广义量词的语义性质和推理特征的研究,比一阶逻辑具有更为强大的表达力。利用广义量词理论既能证明亚里士多德三段论的有效性,也能证明广义三段论的有效性,还能证明广义三段论的不同推理模式之间有可化归关系。由于广义量词普遍存在于自然语言中,广义量词理论的成果将有利于计算机科学中的知识表示和知识推理。

广义量词理论的渊源及其发展趋势

介绍广义量词理论的发展简史;论述广义量词理论的基本思想、方法和优势,给出了广义量词的语义解释方法和语义类型;总结广义量词理论的三个主要研究方向。广义量词理论注重广义量词的语义和推理特征的研究,它比一阶逻辑具有更强大的表达力。广义量词理论为计算机科学中的知识表示和知识推理注入了新的活力。

基于广义量词理论的直言三段论推理规则的形式化辨析

在国内外新近研究成果的基础上,作者通过对作为广义量词特例的四个亚里斯多德量词的普遍语义性质和推理特征的研究,形式化地揭示了如何从广义量词理论的角度来解释直言三段论的推理规则。此研究对一阶逻辑和广义量词理论的发展、自然语言信息处理以及计算机科学中的知识表示和知识推理,都具有重要的理论意义和实践价值。

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

广义量词理论是现代逻辑学、理论语言学、计算语言学等交叉领域的重点研究内容之一。利用广义量词的单调性可以解释或判断自然语言推理的有效性。对此有十二个事实和十二个推论可以印证。此项研究对计算机科学中的知识推理和广义量词理论的发展都具有较为重要的理论价值和实践意义。

基于广义量词almost all的广义三段论的语篇推理探究

自然语言语篇推理是自然语言信息处理、计算机科学中的知识表示和知识推理的重点与难点内容之一。利用广义量词理论、集合论和模糊逻辑相关知识,可以简洁明了地对包含almost all的广义三段论进行形式化的表示和证明。对此有18个事实可以印证。在广义三段论形式化和有效性研究的基础上,可以探讨由两个及以上的广义三段论嵌套而成的自然语言语篇推理。这些创新性成果和研究方法,将为考察包含其他广义量词的广义三段论的形式化、有效性及其相关语篇推理提供一个简洁合理的数学范式。

包含广义量词的关系三段论

本文介绍一种推导有效关系三段论格式的方法,这种方法建基于广义量词理论和命题逻辑的一些基本原理,包括代入法、演绎定理、前提代换、引入存在假设、等价变换等。本文显示利用此方法,不仅可推导包含经典量词的关系三段论,还可推导出包含非经典量词(例如数值量词、比例量词、模糊量词)的关系三段论。除了讨论包含一般二元谓词的关系三段论外,本文也讨论了包含比较形容词的关系三段论,同时也证明了上述方法的有效性,并讨论了进一步研究的方向。

关于不可化归的多态式量词句的CCG探析

广义量词理论对英语中一些特定的量词句进行分析,把其中两个单态式量词合并成一个多态式量词。Keenan证明了这个多态式量词的意义不能化归为两个单态式量词的意义,即多态式量词的意义不能从两个单态式量词的标准意义推演出来。Keenan的研究是很有价值的,但本文尝试从另外的角度思考,对汉语类似的多态式量化句进行个案处理,采纳组合范畴语法针对自然语言表层结构的词汇主义方法,遵循部分表达式的意义决定整体表达式意义的组合原则,从两个单态式量词的非标准意义推演出整个多态式量词句的量化意义。

传统三段论的形式化和公理化研究

利用广义量词理论对四个亚里斯多德量词的真值定义,可以对传统三段论进行形式化。在AAA-1和EAE-1这两个公理的基础上,利用四个亚里斯多德量词的单调性之间的可转换关系,可以对传统三段论进行公理化。这些创新性成果,对于自然语言信息处理以及计算机科学中的知识表示和知识推理,都有着重要的理论意义和实践价值。