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

摘要

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