面向自然語言信息處理的擴展三段論研究

目錄
前言
第一章 三段論片段的完全性研究 1
第一節(jié) 引言 1
第二節(jié) 相關(guān)基礎(chǔ)知識 4
第三節(jié) 僅包含All語句的三段論片段 7
第四節(jié) 包含All語句和Some語句的三段論片段 11
第五節(jié) 添加了專名的三段論片段 14
第六節(jié) 包含All語句和No語句的三段論片段 15
第七節(jié) L（all，some，no，names）語言 16
第八節(jié) 添加了布爾運算的三段論片段 18
第九節(jié) 包含There are at least as many X as Y語句的三段論片段 21
第十節(jié) 本章小結(jié) 28
第二章 居間廣義三段論的研究 31
第一節(jié) 引言 32
第二節(jié) 相關(guān)準(zhǔn)備工作 34
第三節(jié) 居間量詞和廣義三段論 42
第四節(jié) 有效的居間廣義三段論 48
第五節(jié) 居間三段論的實例解釋 69
第六節(jié) 幾個開問題 78
第七節(jié) 本章小結(jié) 79
第三章 亞里士多德模態(tài)三段論研究 82
第一節(jié) 引言 82
第二節(jié) Lukasiewicz的實然三段論系統(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)的擴展 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
第五章 帶有完全布爾運算的關(guān)系三段論系統(tǒng) 266
第一節(jié) 引言 266
第二節(jié) 帶有完全布爾運算的關(guān)系三段論的語法與語義 272
第三節(jié) 帶有完全布爾運算的關(guān)系三段論的公理和推理規(guī)則 274
第四節(jié) 帶有完全布爾運算的關(guān)系三段論系統(tǒng)的完全性 277
第五節(jié) 帶有完全布爾運算的關(guān)系三段論的語義復(fù)雜性 292
第六節(jié) 本章小結(jié) 294
第六章 帶有動詞的擴展三段論研究 296
第一節(jié) 引言 296
第二節(jié) 轄域確定的NMI三段論片段的變種 299
第三節(jié) 同時帶有All、一個動詞和名詞性補語的三段論邏輯 310
第四節(jié) 含有類表達式的三段論片段 314
第五節(jié) 本章小結(jié) 321
參考文獻 323
后記 331