發(fā)布時(shí)間：2024-05-19 18:03

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

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

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



本文編號(hào)：3978260