期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于广义量词理论的直言三段论推理规则的形式化辨析 被引量：4
1
作者 张晓君 林胜强 《中国社会科学院研究生院学报》 CSSCI 北大核心 2015年第1期35-39,共5页
在国内外新近研究成果的基础上,作者通过对作为广义量词特例的四个亚里斯多德量词的普遍语义性质和推理特征的研究,形式化地揭示了如何从广义量词理论的角度来解释直言三段论的推理规则。此研究对一阶逻辑和广义量词理论的发展、自然语... 在国内外新近研究成果的基础上,作者通过对作为广义量词特例的四个亚里斯多德量词的普遍语义性质和推理特征的研究,形式化地揭示了如何从广义量词理论的角度来解释直言三段论的推理规则。此研究对一阶逻辑和广义量词理论的发展、自然语言信息处理以及计算机科学中的知识表示和知识推理,都具有重要的理论意义和实践价值。 展开更多
关键词 广义量词理论 亚里斯多德量词 三段论 推理规则
原文传递
如何根据AAA-1三段论推导出其余23个有效三段论 被引量：1
2
作者 张晓君 《贵州工程应用技术学院学报》 2022年第1期48-53,共6页
在广义量词理论的基础上,充分利用直言命题具有Q(X, Z)这样的三分结构、亚氏量词的真值定义、亚氏量词的单调性与其三种否定量词单调性的可转换关系、亚氏量词no和some的对称性以及反三段论推理规则,仅仅把第一格AAA式三段论作为基础公... 在广义量词理论的基础上,充分利用直言命题具有Q(X, Z)这样的三分结构、亚氏量词的真值定义、亚氏量词的单调性与其三种否定量词单调性的可转换关系、亚氏量词no和some的对称性以及反三段论推理规则,仅仅把第一格AAA式三段论作为基础公理,就可以推导出其余23个有效的三段论,从而为亚氏三段论逻辑建立起极简的形式化公理系统。 展开更多
关键词 亚氏三段论 亚氏量词 公理化 单调性 对称性
下载PDF
包含特称量词some的广义三段论推理
3
作者 郝一江 王超男 《重庆理工大学学报（社会科学）》 CAS 2020年第5期10-16,共7页
广义三段论推理在自然语言信息处理和知识推理中占据着重要的地位。利用广义量词理论、集合论和模糊逻辑的相关知识,证明了18个包含特称量词some的广义三段论的有效性,并在此基础上讨论包含特称量词的语篇推理。这一方法为研究包括亚氏... 广义三段论推理在自然语言信息处理和知识推理中占据着重要的地位。利用广义量词理论、集合论和模糊逻辑的相关知识,证明了18个包含特称量词some的广义三段论的有效性,并在此基础上讨论包含特称量词的语篇推理。这一方法为研究包括亚氏量词在内的其他广义量词的广义三段论的有效性及其语篇推理提供了一个简单合理的数学模式。 展开更多
关键词 亚氏量词 广义三段论 有效性 语篇推理
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部