面向自然語(yǔ)言信息處理的擴(kuò)展三段論研究
《面向自然語(yǔ)言信息處理的擴(kuò)展三段論研究》從自然語(yǔ)言信息處理的視角,主要介紹和闡釋了關(guān)于擴(kuò)展三段論的形式化研究成果,具體研究?jī)?nèi)容包括:三段論片段的完全性,居間廣義三段論,模態(tài)三段論,關(guān)系三段論,帶有完全布爾運(yùn)算的關(guān)系三段論,帶有動(dòng)詞的擴(kuò)展三段論的有效性、可靠性、完全性和計(jì)算復(fù)雜性等內(nèi)容。
更多科學(xué)出版社服務(wù),請(qǐng)掃碼獲取。
目錄
前言
第一章 三段論片段的完全性研究 1
第一節(jié) 引言 1
第二節(jié) 相關(guān)基礎(chǔ)知識(shí) 4
第三節(jié) 僅包含All語(yǔ)句的三段論片段 7
第四節(jié) 包含All語(yǔ)句和Some語(yǔ)句的三段論片段 11
第五節(jié) 添加了專名的三段論片段 14
第六節(jié) 包含All語(yǔ)句和No語(yǔ)句的三段論片段 15
第七節(jié) L(all,some,no,names)語(yǔ)言 16
第八節(jié) 添加了布爾運(yùn)算的三段論片段 18
第九節(jié) 包含There are at least as many X as Y語(yǔ)句的三段論片段 21
第十節(jié) 本章小結(jié) 28
第二章 居間廣義三段論的研究 31
第一節(jié) 引言 32
第二節(jié) 相關(guān)準(zhǔn)備工作 34
第三節(jié) 居間量詞和廣義三段論 42
第四節(jié) 有效的居間廣義三段論 48
第五節(jié) 居間三段論的實(shí)例解釋 69
第六節(jié) 幾個(gè)開問(wèn)題 78
第七節(jié) 本章小結(jié) 79
第三章 亞里士多德模態(tài)三段論研究 82
第一節(jié) 引言 82
第二節(jié) Lukasiewicz的實(shí)然三段論系統(tǒng)A 86
第三節(jié) Lukasiewicz的模態(tài)三段論系統(tǒng)M 99
第四節(jié) 現(xiàn)代模態(tài)謂詞邏輯 102
第五節(jié) McCall的模態(tài)三段論系統(tǒng)L-X-M 108
第六節(jié) 鏈條件、相干邏輯和AP系統(tǒng) 130
第七節(jié) 偶然三段論 134
第八節(jié) 模態(tài)三段論系統(tǒng)QLXM 141
第九節(jié) QLXM系統(tǒng)的亞里士多德特征 161
第十節(jié) 兩前提Q-有效三段論總覽 162
第十一節(jié) QLXM系統(tǒng)的擴(kuò)展 165
第十二節(jié) 亞里士多德模態(tài)三段論的重構(gòu) 165
第十三節(jié) 本章小結(jié) 176
第四章 關(guān)系三段論的形式化研究 184
第一節(jié) 引言 184
第二節(jié) 相關(guān)準(zhǔn)備工作 186
第三節(jié) 間接三段論系統(tǒng)S和Sy 197
第四節(jié) 具有斥完全性的關(guān)系三段論系統(tǒng)R 204
第五節(jié) 間接關(guān)系三段論系統(tǒng)R 213
第六節(jié) 非間接關(guān)系三段論系統(tǒng)Ry和Ry 217
第七節(jié) 其他相關(guān)的關(guān)系三段論片段 226
第八節(jié) 關(guān)系三段論片段的復(fù)雜性 229
第九節(jié) 關(guān)系三段論的可靠性和完全性研究 230
第十節(jié) 本章小結(jié) 264
第五章 帶有完全布爾運(yùn)算的關(guān)系三段論系統(tǒng) 266
第一節(jié) 引言 266
第二節(jié) 帶有完全布爾運(yùn)算的關(guān)系三段論的語(yǔ)法與語(yǔ)義 272
第三節(jié) 帶有完全布爾運(yùn)算的關(guān)系三段論的公理和推理規(guī)則 274
第四節(jié) 帶有完全布爾運(yùn)算的關(guān)系三段論系統(tǒng)的完全性 277
第五節(jié) 帶有完全布爾運(yùn)算的關(guān)系三段論的語(yǔ)義復(fù)雜性 292
第六節(jié) 本章小結(jié) 294
第六章 帶有動(dòng)詞的擴(kuò)展三段論研究 296
第一節(jié) 引言 296
第二節(jié) 轄域確定的NMI三段論片段的變種 299
第三節(jié) 同時(shí)帶有All、一個(gè)動(dòng)詞和名詞性補(bǔ)語(yǔ)的三段論邏輯 310
第四節(jié) 含有類表達(dá)式的三段論片段 314
第五節(jié) 本章小結(jié) 321
參考文獻(xiàn) 323
后記 331