论文部分内容阅读
在国内外最新研究成果的基础上,笔者通过对文中的定理和推论的证明,主要说明了以下几点：（1）利用广义量词的相关语义性质,比如单调性和对称性,既可以解释亚氏三段论的有效性,又可以解释带有广义量词的扩展三段论的有效性;（2）一些有效的扩展三段论仅仅表征了广义量词的左或右单调性,还有一些有效的扩展三段论同时表征了广义量词的多个语义性质;（3）利用广义量词的东南或西北或西南或东北方向的单调性可以判断一些带有限制条件的扩展三段论的有效性。此研究将有利于广义量词理论的发展,对于计算机科学中的知识表示和知识推理的研究都具