检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]四川师范大学政治教育学院,成都610066 [2]四川师范大学逻辑与信息研究中心,成都610066
出 处:《重庆理工大学学报(社会科学)》2016年第7期12-16,共5页Journal of Chongqing University of Technology(Social Science)
基 金:国家社会科学基金西部项目"面向中文信息处理的汉语主谓句的逻辑语义及其推理模式研究"(15XYY012)
摘 要:在自然语言中,存在大量的各种各样的广义量词,其中一种被称为居间量词。利用广义量词理论给出居间量词的语义定义,再利用集合论证明广义三段论的有效性,这一研究方法也适用于研究关于其他广义量词的广义三段论的有效性;为有助于自然语言信息处理,提出并证明了居间广义量词few的12个有效的广义三段论。There are a great number of generalized quantifiers of all kinds in natural languages,one of which is named intermediate quantifiers. The semantic definitions of intermediate quantifiers are firstly given by means of generalized quantifier theory,and then set theory is utilized to prove the validity of generalized syllogisms. This research method is also applicable to the validity of generalized syllogisms including other generalized quantifiers. 12 valid generalized syllogisms including the intermediate generalized quantifier few are proposed and proved in this paper. It is hoped that the original findings will make contributions to natural language information processing.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.15