基于全称量词all的广义三段论的语篇推理研究

发布时间：2024-05-19 18:03

　　涉及两个及以上语句的推理就是语篇推理。两个语句间的单调性推理、亚氏三段论推理、广义三段论推理都可以看作是语篇推理。两个语句间的单调性推理实则是在前提中,省略了全称肯定命题的三段论推理。利用广义量词理论、集合论等知识,可以对包括亚氏三段论在内的广义三段论进行形式化和有效性的研究。对此,有21个事实作为例证。在此基础上,可以对两个及以上的广义三段论组成的语篇推理进行形式化和有效性的研究。这些创新性研究有利于自然语言信息处理、计算机科学中的知识表示和知识推理,以及更加智能的推理机的研发。

【文章页数】：6 页

【文章目录】：
一、广义量词理论的相关基础知识
二、关于全称量词all的广义三段论的形式化和有效性
三、基于广义三段论的语篇推理
四、结束语



本文编号：3978260