期刊文献+
共找到12篇文章
< 1 >
每页显示 20 50 100
基于广义量词理论的亚氏三段论 被引量:11
1
作者 张晓君 黄朝阳 《重庆理工大学学报(社会科学)》 CAS 2012年第10期7-11,共5页
揭示了如何从广义量词理论的角度来理解三段论推理。有效的亚氏三段论可以通过作为广义量词特例的亚氏量词的语义定义加以证明。从亚氏量词的语义性质,比如单调性、对称性可以说明亚氏三段论的有效性。亚氏三段论的可化归性反映了亚氏... 揭示了如何从广义量词理论的角度来理解三段论推理。有效的亚氏三段论可以通过作为广义量词特例的亚氏量词的语义定义加以证明。从亚氏量词的语义性质,比如单调性、对称性可以说明亚氏三段论的有效性。亚氏三段论的可化归性反映了亚氏量词与其三种否定量词的语义性质(比如单调性)之间的可转换性。 展开更多
关键词 亚氏三段论 广义量词理论 广义量词 单调性 对称性
下载PDF
自然语言语篇推理的形式化探究 被引量:9
2
作者 郝一江 《湖南科技大学学报(社会科学版)》 CSSCI 北大核心 2016年第1期33-37,共5页
不论是对自然语言信息处理,还是对计算机科学中的知识表示和知识推理而言,自然语篇推理既是不可回避的研究重点,也是研究的难点。在利用广义量词理论对语篇推理进行形式化的基础上,既可以对基于传统三段论的语篇推理的有效性加以判定,... 不论是对自然语言信息处理,还是对计算机科学中的知识表示和知识推理而言,自然语篇推理既是不可回避的研究重点,也是研究的难点。在利用广义量词理论对语篇推理进行形式化的基础上,既可以对基于传统三段论的语篇推理的有效性加以判定,也可以对基于广义三段论的语篇推理的有效性加以判定。换言之,利用广义量词理论可以形式化地解释和证明自然语言语篇推理。 展开更多
关键词 广义量词 语篇推理 传统三段论 广义三段论
原文传递
广义量词的推理模式研究 被引量:8
3
作者 林胜强 张晓君 《湖南科技大学学报(社会科学版)》 CSSCI 北大核心 2014年第6期29-33,共5页
基于Peters和Westersthl(2006)、Moss(2010,2011)、Chow Ka Fat(2012)等相关文献的工作,可进一步概括出广义量词的三种主要推理模式:论元结构推理、单调性推理和广义三段论推理。可以用大量实例对这些推理模式加以说明。由于广义量词... 基于Peters和Westersthl(2006)、Moss(2010,2011)、Chow Ka Fat(2012)等相关文献的工作,可进一步概括出广义量词的三种主要推理模式:论元结构推理、单调性推理和广义三段论推理。可以用大量实例对这些推理模式加以说明。由于广义量词在自然语言中普遍存在,这些研究对计算机科学中的知识表示和知识推理等方面具有重要意义。 展开更多
关键词 广义量词 论元结构推理 单调性推理 广义三段论推理
下载PDF
广义量词的单调性与其三种否定量词的单调性之间的关系 被引量:5
4
作者 张晓君 黄朝阳 《安徽师范大学学报(社会科学版)》 CSSCI 北大核心 2012年第6期673-678,共6页
单调性是广义量词最为重要的语义性质。〈1〉类型和〈1,1〉类型广义量词的单调性与其三种否定量词(即外否定量词、内否定量词和对偶否定量词)的单调性之间具有可转换关系。文章中总结的3个单调性关系定理详细地描述了这种转换关系,并用... 单调性是广义量词最为重要的语义性质。〈1〉类型和〈1,1〉类型广义量词的单调性与其三种否定量词(即外否定量词、内否定量词和对偶否定量词)的单调性之间具有可转换关系。文章中总结的3个单调性关系定理详细地描述了这种转换关系,并用数字三角形对这些关系加以了详细直观的说明。由于〈1〉类型和〈1,1〉类型的广义量词在自然语言中普遍存在,所以,此研究对广义量词理论的发展具有一定的理论价值,对自然语言的计算机信息处理也具有一定的实践指导意义。 展开更多
关键词 广义量词 外否定量词 内否定量词 对偶否定量词 单调性
下载PDF
含有居间量词most的广义三段论的有效性 被引量:6
5
作者 张晓君 《湖南科技大学学报(社会科学版)》 CSSCI 北大核心 2016年第4期27-31,共5页
一般而言,居间量词是语义上的<1,1>类型的广义量词,表示事物或材料所形成的集合之间的二元关系。通过提出并证明23个事实,阐明包含most这一居间量词的有效的广义三段论推理模式。这些创新性成果将会有利于广义量词理论的发展、自... 一般而言,居间量词是语义上的<1,1>类型的广义量词,表示事物或材料所形成的集合之间的二元关系。通过提出并证明23个事实,阐明包含most这一居间量词的有效的广义三段论推理模式。这些创新性成果将会有利于广义量词理论的发展、自然语言信息处理以及计算机科学中的知识表示和知识推理。 展开更多
关键词 广义量词 居间量词 广义三段论 有效性
原文传递
基于布尔剪枝的多值广义量词Tableau推理规则简化方法 被引量:5
6
作者 刘全 孙吉贵 崔志明 《计算机学报》 EI CSCD 北大核心 2005年第9期1514-1518,共5页
Tableau作为自动推理的有效方法之一在许多领域中有重要的应用.该文作者在已提出的布尔剪枝方法基础上,对含广义量词(交和并)规则的简化方法进行研究,建立了一套含广义量词的一阶多值逻辑公式的简化Tableau推理方法.通过实例分析,对简... Tableau作为自动推理的有效方法之一在许多领域中有重要的应用.该文作者在已提出的布尔剪枝方法基础上,对含广义量词(交和并)规则的简化方法进行研究,建立了一套含广义量词的一阶多值逻辑公式的简化Tableau推理方法.通过实例分析,对简化前后结果对比表明,改进后的Tableau方法,在推理效率上有很大的提高. 展开更多
关键词 布尔剪枝 多值逻辑 广义量词 TABLEAU 集合的上集/下集
下载PDF
广义量词的单调性与其他语义性质之间的关系 被引量:4
7
作者 张晓君 吴宝祥 《重庆理工大学学报(社会科学)》 CAS 2015年第1期49-53,共5页
广义量词理论是一阶逻辑的扩展理论,它比一阶逻辑更有利于计算机进行知识表示和知识推理。广义量词的语义性质主要包括:同构闭包性、扩展性、驻留性、单调性、对称性。单调性是广义量词最为重要的语义性质。给出6个定理,主要论述广义量... 广义量词理论是一阶逻辑的扩展理论,它比一阶逻辑更有利于计算机进行知识表示和知识推理。广义量词的语义性质主要包括:同构闭包性、扩展性、驻留性、单调性、对称性。单调性是广义量词最为重要的语义性质。给出6个定理,主要论述广义量词的单调性与其他语义性质之间的关系,比如:具有单调性的广义量词首先得满足驻留性。 展开更多
关键词 广义量词 同构闭包性 扩展性 单调性 驻留性 对称性 一阶逻辑
下载PDF
关于广义量词many的广义三段论推理 被引量:2
8
作者 李晟 袁兆隆 《四川师范大学学报(社会科学版)》 CSSCI 北大核心 2017年第1期15-19,共5页
三段论在自然语言信息处理和知识推理中占据着突出的地位,它们在自亚里士多德以来的逻辑中也一直扮演着重要作用。我们用广义量词many对传统三段论推理进行了扩展,利用广义量词理论和集合论,从语法上证明了14个广义三段论推理的有效性... 三段论在自然语言信息处理和知识推理中占据着突出的地位,它们在自亚里士多德以来的逻辑中也一直扮演着重要作用。我们用广义量词many对传统三段论推理进行了扩展,利用广义量词理论和集合论,从语法上证明了14个广义三段论推理的有效性。这一方法为其他广义量词的广义三段论提供了一个简单合理的数学模式。 展开更多
关键词 传统三段论 广义三段论 广义量词 推理
下载PDF
广义量词理论对一阶逻辑的扩展 被引量:2
9
作者 张晓君 《重庆理工大学学报(社会科学)》 CAS 2015年第11期9-14,共6页
广义量词理论是一阶逻辑的扩展。该理论已经成为逻辑学和语言学中重要的推理工具之一。广义量词是对来自于一阶逻辑中两个标准量词(全称量词和存在量词)的推广。对一阶逻辑进行扩展的主要原因有二:其一是为了解释亚氏三段论形式以外的... 广义量词理论是一阶逻辑的扩展。该理论已经成为逻辑学和语言学中重要的推理工具之一。广义量词是对来自于一阶逻辑中两个标准量词(全称量词和存在量词)的推广。对一阶逻辑进行扩展的主要原因有二:其一是为了解释亚氏三段论形式以外的大量的有效推理;其二是为了提升一阶逻辑的表达力,使得计算机能够更好地处理自然语言。文章阐述了广义量词理论来自于哪里,是如何得来的。现代谓词逻辑首先通过固定一阶逻辑中的全称量词和存在量词的真值定义,然后把它们的真值定义推广到〈1〉类型的广义量词,之后把〈1〉类型的广义量词的真值定义推广到任意的广义量词。这样就可以把任意的广义量词添加到一阶逻辑中,从而得到表达力更强的逻辑——广义量词理论。 展开更多
关键词 广义量词 一阶逻辑 全称量词 存在量词 真值定义
下载PDF
利用储存器计算非连续结构
10
作者 张炯 《哈尔滨工业大学学报(社会科学版)》 2008年第5期108-116,共9页
非连续结构指的是某些意义上完整但句法表现上却断裂的语言成分。非连续结构虽然结构特殊,但在自然语言中具有普遍性。普通的移进、归约方法在计算非连续成分时是无效的。尽管范畴逻辑语法提出了一些办法,但是未能对非连续现象进行统一... 非连续结构指的是某些意义上完整但句法表现上却断裂的语言成分。非连续结构虽然结构特殊,但在自然语言中具有普遍性。普通的移进、归约方法在计算非连续成分时是无效的。尽管范畴逻辑语法提出了一些办法,但是未能对非连续现象进行统一的处理。实际上,语义上的计算步骤不一定要严格对应句法操作,Cooper储存是这样一种典型的方法。它不但可以用来处理广义量词的计算问题,也可以在稍加改造后用来处理一般非连续结构。这里提出了一种吸收Cooper储存的基于LR方法的计算方法:它使用了一个监视句法分析流程的装置,并要求对非连续成分进行分类和标注。这种方法的好处是完全不用更动传统的句法分析。 展开更多
关键词 非连续结构 Cooper储存 不可化归 广义量词
下载PDF
基于广义量词单调性的广义三段论的有效性
11
作者 袁娇娇 张晓君 《贵州工程应用技术学院学报》 2019年第4期67-72,共6页
随着广义量词理论的兴起和发展,逻辑学家们开始研究比传统三段论更为复杂的广义三段论及其有效性。在广义量词单调性的基础上,给出十二个有效的广义三段论推理模式及其相应的有效的广义三段论实例,重点研究可以表征这十二个有效的广义... 随着广义量词理论的兴起和发展,逻辑学家们开始研究比传统三段论更为复杂的广义三段论及其有效性。在广义量词单调性的基础上,给出十二个有效的广义三段论推理模式及其相应的有效的广义三段论实例,重点研究可以表征这十二个有效的广义三段论推理模式之间的可化归关系的四个推论。研究不仅说明了利用广义量词的单调性等语义性质可判定广义三段论的有效性,而且还说明了广义三段论的有效性,也表征了广义量词的单调性质等语义性质。 展开更多
关键词 广义量词 单调性 广义三段论 有效性
下载PDF
广义量词的计算复杂性
12
作者 张晓君 《贵州工程应用技术学院学报》 2015年第4期60-64,共5页
广义量词的复杂性有两个层次:句法层面的复杂性和语义层面的复杂性,我们集中研究了广义量词的语义复杂性。在有穷的语境中可以找出自然语言量化语句真值的复杂性。这些复杂性与图灵机中的可计算性、作为算法的意义的等价性、计算复杂性... 广义量词的复杂性有两个层次:句法层面的复杂性和语义层面的复杂性,我们集中研究了广义量词的语义复杂性。在有穷的语境中可以找出自然语言量化语句真值的复杂性。这些复杂性与图灵机中的可计算性、作为算法的意义的等价性、计算复杂性、易处理性和不易处理性等内容相关。广义量词计算复杂性已有诸多相关研究成果。 展开更多
关键词 广义量词 计算复杂性 算法 可计算性
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部