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

发布时间：2018-04-13 16:50

  本文选题：广义量词 + 居间量词　； 参考：《湖南科技大学学报(社会科学版)》2016年04期

【摘要】：一般而言,居间量词是语义上的1,1类型的广义量词,表示事物或材料所形成的集合之间的二元关系。通过提出并证明23个事实,阐明包含most这一居间量词的有效的广义三段论推理模式。这些创新性成果将会有利于广义量词理论的发展、自然语言信息处理以及计算机科学中的知识表示和知识推理。
[Abstract]:Generally speaking, the intermediate quantifier is a kind of semantic generalized classifier, which represents the binary relation between the set of things or materials.By presenting and proving 23 facts, the effective generalized syllogism reasoning model containing most as an intermediate quantifier is expounded.These innovative results will benefit the development of generalized quantifier theory, natural language information processing and knowledge representation and reasoning in computer science.
【作者单位】： 四川师范大学逻辑与信息研究所;四川师范大学政治教育学院;
【基金】：国家社科基金西部项目(15XYY012);国家社科基金一般项目(16BZ081)
【分类号】：B812.3
，

本文编号：1745368