Publisher: 国家哲学社会科学学术期刊数据库
E-ISSN: 1674-8425|30|1|7-12
ISSN: 1674-8425
Source: 重庆理工大学学报:社会科学, Vol.30, Iss.1, 2017-01, pp. : 7-12
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
自然语言语篇推理是自然语言信息处理、计算机科学中的知识表示和知识推理的重点与难点内容之一。利用广义量词理论、集合论和模糊逻辑相关知识,可以简洁明了地对包含almost all的广义三段论进行形式化的表示和证明。对此有18个事实可以印证。在广义三段论形式化和有效性研究的基础上,可以探讨由两个及以上的广义三段论嵌套而成的自然语言语篇推理。这些创新性成果和研究方法,将为考察包含其他广义量词的广义三段论的形式化、有效性及其相关语篇推理提供一个简洁合理的数学范式。