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

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

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



本文編號(hào)：3978260