涉及兩個及以上語句的推理就是語篇推理。兩個語句間的單調(diào)性推理、亞氏三段論推理、廣義三段論推理都可以看作是語篇推理。兩個語句間的單調(diào)性推理實則是在前提中,省略了全稱肯定命題的三段論推理。利用廣義量詞理論、集合論等知識,可以對包括亞氏三段論在內(nèi)的廣義三段論進行形式化和有效性的研究。對此,有21個事實作為例證。在此基礎(chǔ)上,可以對兩個及以上的廣義三段論組成的語篇推理進行形式化和有效性的研究。這些創(chuàng)新性研究有利于自然語言信息處理、計算機科學中的知識表示和知識推理,以及更加智能的推理機的研發(fā)。

【文章頁數(shù)】：6 頁

【文章目錄】：
一、廣義量詞理論的相關(guān)基礎(chǔ)知識
二、關(guān)于全稱量詞all的廣義三段論的形式化和有效性
三、基于廣義三段論的語篇推理
四、結(jié)束語



本文編號：3978260