检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

关于广义量词many的广义三段论推理

四川师范大学学报（社会科学版） 2017年第1期44卷 15-19页

作者：李晟袁兆隆四川师范大学逻辑与信息研究所成都610066 四川师范大学政治教育学院成都610066

三段论在自然语言信息处理和知识推理中占据着突出的地位,它们在自亚里士多德以来的逻辑中也一直扮演着重要作用。我们用广义量词many对传统三段论推理进行了扩展,利用广义量词理论和集合论,从语法上证明了14个广义三段论推理的有效性... 详细信息

三段论在自然语言信息处理和知识推理中占据着突出的地位,它们在自亚里士多德以来的逻辑中也一直扮演着重要作用。我们用广义量词many对传统三段论推理进行了扩展,利用广义量词理论和集合论,从语法上证明了14个广义三段论推理的有效性。这一方法为其他广义量词的广义三段论提供了一个简单合理的数学模式。

关键词：传统三段论广义三段论广义量词推理

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

在线全文

学校读者我要写书评

暂无评论

重庆理工大学学报（社会科学） 2017年第1期30卷 7-12页

作者：张晓君四川师范大学逻辑与信息研究所成都610068 四川师范大学马克思主义学院成都610068

自然语言语篇推理是自然语言信息处理、计算机科学中的知识表示和知识推理的重点与难点内容之一。利用广义量词理论、集合论和模糊逻辑相关知识,可以简洁明了地对包含almost all的广义三段论进行形式化的表示和证明。对此有18个事实可... 详细信息

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

关键词：广义量词理论广义三段论集合自然语言语篇推理

在线全文

学校读者我要写书评

暂无评论

包含特称量词some的广义三段论推理

重庆理工大学学报（社会科学） 2020年第5期34卷 10-16页

作者：郝一江王超男中国社会科学院哲学研究所北京100732 四川师范大学哲学研究所四川成都610066

广义三段论推理在自然语言信息处理和知识推理中占据着重要的地位。利用广义量词理论、集合论和模糊逻辑的相关知识,证明了18个包含特称量词some的广义三段论的有效性,并在此基础上讨论包含特称量词的语篇推理。这一方法为研究包括亚氏... 详细信息

广义三段论推理在自然语言信息处理和知识推理中占据着重要的地位。利用广义量词理论、集合论和模糊逻辑的相关知识,证明了18个包含特称量词some的广义三段论的有效性,并在此基础上讨论包含特称量词的语篇推理。这一方法为研究包括亚氏量词在内的其他广义量词的广义三段论的有效性及其语篇推理提供了一个简单合理的数学模式。

关键词：亚氏量词广义三段论有效性语篇推理

在线全文

学校读者我要写书评

暂无评论

基于广义量词单调性的广义三段论的有效性

贵州工程应用技术学院学报 2019年第4期37卷 67-72页

作者：袁娇娇张晓君四川师范大学逻辑与信息研究所四川师范大学马克思主义学院四川成都610068

随着广义量词理论的兴起和发展,逻辑学家们开始研究比传统三段论更为复杂的广义三段论及其有效性。在广义量词单调性的基础上,给出十二个有效的广义三段论推理模式及其相应的有效的广义三段论实例,重点研究可以表征这十二个有效的广义... 详细信息

随着广义量词理论的兴起和发展,逻辑学家们开始研究比传统三段论更为复杂的广义三段论及其有效性。在广义量词单调性的基础上,给出十二个有效的广义三段论推理模式及其相应的有效的广义三段论实例,重点研究可以表征这十二个有效的广义三段论推理模式之间的可化归关系的四个推论。研究不仅说明了利用广义量词的单调性等语义性质可判定广义三段论的有效性,而且还说明了广义三段论的有效性,也表征了广义量词的单调性质等语义性质。

关键词：广义量词单调性广义三段论有效性

基于全称量词all的广义三段论的语篇推理研究

在线全文

学校读者我要写书评

暂无评论

贵州工程应用技术学院学报 2019年第1期37卷 60-65页

作者：王薇林胜强四川师范大学逻辑与信息研究所四川成都610066 四川师范大学马克思主义学院四川成都610066

涉及两个及以上语句的推理就是语篇推理。两个语句间的单调性推理、亚氏三段论推理、广义三段论推理都可以看作是语篇推理。两个语句间的单调性推理实则是在前提中,省略了全称肯定命题的三段论推理。利用广义量词理论、集合论等知识,可... 详细信息

涉及两个及以上语句的推理就是语篇推理。两个语句间的单调性推理、亚氏三段论推理、广义三段论推理都可以看作是语篇推理。两个语句间的单调性推理实则是在前提中,省略了全称肯定命题的三段论推理。利用广义量词理论、集合论等知识,可以对包括亚氏三段论在内的广义三段论进行形式化和有效性的研究。对此,有21个事实作为例证。在此基础上,可以对两个及以上的广义三段论组成的语篇推理进行形式化和有效性的研究。这些创新性研究有利于自然语言信息处理、计算机科学中的知识表示和知识推理,以及更加智能的推理机的研发。

关键词：亚氏三段论广义三段论语篇推理有效性

关于居间广义量词“few”的广义三段论的有效性

在线全文

学校读者我要写书评

暂无评论

重庆理工大学学报（社会科学） 2016年第7期30卷 12-16页

作者：吴宝祥李晟四川师范大学政治教育学院成都610066 四川师范大学逻辑与信息研究中心成都610066

在自然语言中,存在大量的各种各样的广义量词,其中一种被称为居间量词。利用广义量词理论给出居间量词的语义定义,再利用集合论证明广义三段论的有效性,这一研究方法也适用于研究关于其他广义量词的广义三段论的有效性;为有助于自然语... 详细信息

在自然语言中,存在大量的各种各样的广义量词,其中一种被称为居间量词。利用广义量词理论给出居间量词的语义定义,再利用集合论证明广义三段论的有效性,这一研究方法也适用于研究关于其他广义量词的广义三段论的有效性;为有助于自然语言信息处理,提出并证明了居间广义量词few的12个有效的广义三段论。

关键词：广义量词居间量词广义三段论有效性

在线全文

学校读者我要写书评

暂无评论

含有居间量词most的广义三段论的有效性

逻辑 2017年第2期 27-31页

作者：张晓君

一般而言，居间量词是语义上的＜1，1＞类型的广义量词，表示事物或材料所形成的集合之间的二元关系。通过提出并证明23个事实，阐明包含most这一居间量词的有效的广义三段论推理模式。这些创新性成果将会有利于广义量词理论的发展、自... 详细信息

一般而言，居间量词是语义上的＜1，1＞类型的广义量词，表示事物或材料所形成的集合之间的二元关系。通过提出并证明23个事实，阐明包含most这一居间量词的有效的广义三段论推理模式。这些创新性成果将会有利于广义量词理论的发展、自然语言信息处理以及计算机科学中的知识表示和知识推理。

关键词：广义量词居间量词广义三段论有效性

来源：人大复印报刊资料评论

在线全文

人大复印报刊资料

学校读者我要写书评

暂无评论

广义量词的现代对当方阵研究

四川师范大学学报（社会科学版） 2015年第1期42卷 15-20页

作者：林胜强四川师范大学政治教育学院成都610066

在现代对当方阵中,逻辑规律具有一致性。对一个现代对当方阵中的任意一个广义量词施加任意多次的三种形式的否定运算,得到的广义量词仍然是原来的现代对当方阵中的广义量词。在〈1,1〉类型的广义量词所对应的现代对当方阵中,不但广义量... 详细信息

在现代对当方阵中,逻辑规律具有一致性。对一个现代对当方阵中的任意一个广义量词施加任意多次的三种形式的否定运算,得到的广义量词仍然是原来的现代对当方阵中的广义量词。在〈1,1〉类型的广义量词所对应的现代对当方阵中,不但广义量词与其三个否定量词的单调性之间具有可转换关系;而且它们所对应的广义三段论之间具有可化归关系。由于〈1,1〉类型广义量词在自然语言中普遍存在,所以,此研究对计算机科学中的知识表示和知识推理具有重要的意义。

关键词：广义量词对当方阵单调性广义三段论

在线全文

学校读者我要写书评

暂无评论

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

学术研究 2015年第7期 22-25,159页

作者：黄朝阳张晓君厦门大学哲学系四川师范大学

广义量词理论的基础是集合论。该理论注重广义量词的语义性质和推理特征的研究,比一阶逻辑具有更为强大的表达力。利用广义量词理论既能证明亚里士多德三段论的有效性,也能证明广义三段论的有效性,还能证明广义三段论的不同推理模式之... 详细信息

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

关键词：广义量词理论广义量词集合广义三段论