摘要
涉及两个及以上语句的推理就是语篇推理。两个语句间的单调性推理、亚氏三段论推理、广义三段论推理都可以看作是语篇推理。两个语句间的单调性推理实则是在前提中,省略了全称肯定命题的三段论推理。利用广义量词理论、集合论等知识,可以对包括亚氏三段论在内的广义三段论进行形式化和有效性的研究。对此,有21个事实作为例证。在此基础上,可以对两个及以上的广义三段论组成的语篇推理进行形式化和有效性的研究。这些创新性研究有利于自然语言信息处理、计算机科学中的知识表示和知识推理,以及更加智能的推理机的研发。
出版日期
2019年01月11日(中国Betway体育网页登陆平台首次上网日期,不代表论文的发表时间)