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

摘要：

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

关键词：亚氏量词、广义三段论、有效性、语篇推理

所属期刊栏目：34

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金后期资助项目"面向人工智能的命题动态逻辑及其扩展研究"19FZXB102

在线出版日期：2020-06-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：10-16