教育部人文社会科学研究基金(12YJA72040001)
- 作品数：8 被引量：26H指数：5
- 相关作者：张晓君黄朝阳林胜强更多>>
- 相关机构：厦门大学四川师范大学更多>>
- 发文基金：教育部人文社会科学研究基金更多>>
- 相关领域：哲学宗教更多>>
- 广义量词理论:自然语言推理的简便工具被引量：1
- 2015年
- 广义量词理论的基础是集合论。该理论注重广义量词的语义性质和推理特征的研究,比一阶逻辑具有更为强大的表达力。利用广义量词理论既能证明亚里士多德三段论的有效性,也能证明广义三段论的有效性,还能证明广义三段论的不同推理模式之间有可化归关系。由于广义量词普遍存在于自然语言中,广义量词理论的成果将有利于计算机科学中的知识表示和知识推理。
- 黄朝阳张晓君
- 关键词：广义量词
- 基于广义量词理论的亚氏三段论被引量：11
- 2012年
- 揭示了如何从广义量词理论的角度来理解三段论推理。有效的亚氏三段论可以通过作为广义量词特例的亚氏量词的语义定义加以证明。从亚氏量词的语义性质,比如单调性、对称性可以说明亚氏三段论的有效性。亚氏三段论的可化归性反映了亚氏量词与其三种否定量词的语义性质(比如单调性)之间的可转换性。
- 张晓君黄朝阳
- 关键词：广义量词单调性对称性
- 广义量词的单调性与其三种否定量词的单调性之间的关系被引量：5
- 2012年
- 单调性是广义量词最为重要的语义性质。〈1〉类型和〈1,1〉类型广义量词的单调性与其三种否定量词(即外否定量词、内否定量词和对偶否定量词)的单调性之间具有可转换关系。文章中总结的3个单调性关系定理详细地描述了这种转换关系,并用数字三角形对这些关系加以了详细直观的说明。由于〈1〉类型和〈1,1〉类型的广义量词在自然语言中普遍存在,所以,此研究对广义量词理论的发展具有一定的理论价值,对自然语言的计算机信息处理也具有一定的实践指导意义。
- 张晓君黄朝阳
- 关键词：广义量词单调性
- 广义量词的各种单调性之间的关系被引量：6
- 2012年
- 广义量词理论在集合论的基础上得到发展,提升了一阶逻辑处理现实世界的能力,有助于计算机更好地处理自然语言。单调性是广义量词最为重要的语义性质。1类型广义量词的单调性与其亲缘量词的单调性之间具有可转换关系,同一个1,1类型广义量词的不同单调性之间也具有可转换关系,这些转换关系可以用数字三角形简图进行直观验证。
- 张晓君
- 关键词：一阶逻辑集合论广义量词自然语言单调性
- 广义量词理论的渊源及其发展趋势被引量：2
- 2012年
- 介绍广义量词理论的发展简史;论述广义量词理论的基本思想、方法和优势,给出了广义量词的语义解释方法和语义类型;总结广义量词理论的三个主要研究方向。广义量词理论注重广义量词的语义和推理特征的研究,它比一阶逻辑具有更强大的表达力。广义量词理论为计算机科学中的知识表示和知识推理注入了新的活力。
- 张晓君黄朝阳
- 关键词：广义量词
- 基于广义量词单调性的自然语言推理模式研究被引量：1
- 2015年
- 广义量词理论是现代逻辑学、理论语言学、计算语言学等交叉领域的重点研究内容之一。利用广义量词的单调性可以解释或判断自然语言推理的有效性。对此有十二个事实和十二个推论可以印证。此项研究对计算机科学中的知识推理和广义量词理论的发展都具有较为重要的理论价值和实践意义。
- 黄朝阳张晓君
- 关键词：广义量词单调性
- 如何利用广义量词的语义性质判断扩展三段论的有效性被引量：8
- 2013年
- 在国内外最新研究成果的基础上,笔者通过对文中的定理和推论的证明,主要说明了以下几点:(1)利用广义量词的相关语义性质,比如单调性和对称性,既可以解释亚氏三段论的有效性,又可以解释带有广义量词的扩展三段论的有效性;(2)一些有效的扩展三段论仅仅表征了广义量词的左或右单调性,还有一些有效的扩展三段论同时表征了广义量词的多个语义性质;(3)利用广义量词的东南或西北或西南或东北方向的单调性可以判断一些带有限制条件的扩展三段论的有效性。此研究将有利于广义量词理论的发展,对于计算机科学中的知识表示和知识推理的研究都具有较为重要的理论价值和实践意义。
- 张晓君林胜强
- 关键词：单调性对称性
- 扩展三段论的可化归性与广义量词的语义性质之间的关系被引量：15
- 2012年
- 基于Barwise、Cooper、Keenan、Peters、Westersthl和vanEijck等人的研究成果,作者提出并证明了若干事实和推论。这些事实和推论表明:(1)不同三段论之间的可化归性本质上反映了广义量词的单调性、对称性等语义性质之间的可转换性,因此,我们可以根据四个亚氏量词的语义性质之间的转换关系来验证亚氏三段论的可化归性;(2)利用广义量词的语义性质可以验证扩展三段论的不同推理模式之间的可化归关系。由于广义量词在自然语言中普遍存在,因此,本文的研究对广义量词理论的发展和自然语言的信息处理都具有积极意义。
- 张晓君
- 关键词：单调性对称性
