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

The Validity of Generalized Syllogisms Including the Intermediate Quantifier most

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

In general, the intermediate quantifiers are semantically of type 〈 1,1 〉 generalized quantifiers. That is, they are binary relations between sets of things or stuff. This paper proposes and proves 23 facts that illustrate the valid inferential patterns of generalized syllogisms including the intermediate quantifier most. These innovative achievements will benefit the development of generalized quantifier theory, natural information processing, knowledge reoresentation and reasoning in the computer science.