面向自然語言信息處理的擴展三段論研究（簡體書）

《面向自然語言信息處理的擴展三段論研究》從自然語言信息處理的視角，主要介紹和闡釋了關於擴展三段論的形式化研究成果，具體研究內容包括：三段論片段的完全性，居間廣義三段論，模態三段論，關係三段論，帶有完全布爾運算的關係三段論，帶有動詞的擴展三段論的有效性、可靠性、完全性和計算複雜性等內容。

目錄
前言
第一章 三段論片段的完全性研究 1
第一節 引言 1
第二節 相關基礎知識 4
第三節 僅包含All語句的三段論片段 7
第四節 包含All語句和Some語句的三段論片段 11
第五節 添加了專名的三段論片段 14
第六節 包含All語句和No語句的三段論片段 15
第七節 L（all，some，no，names）語言 16
第八節 添加了布爾運算的三段論片段 18
第九節 包含There are at least as many X as Y語句的三段論片段 21
第十節 本章小結 28
第二章 居間廣義三段論的研究 31
第一節 引言 32
第二節 相關準備工作 34
第三節 居間量詞和廣義三段論 42
第四節 有效的居間廣義三段論 48
第五節 居間三段論的實例解釋 69
第六節 幾個開問題 78
第七節 本章小結 79
第三章 亞裡士多德模態三段論研究 82
第一節 引言 82
第二節 Lukasiewicz的實然三段論系統A 86
第三節 Lukasiewicz的模態三段論系統M 99
第四節 現代模態謂詞邏輯 102
第五節 McCall的模態三段論系統L-X-M 108
第六節 鏈條件、相干邏輯和AP系統 130
第七節 偶然三段論 134
第八節 模態三段論系統QLXM 141
第九節 QLXM系統的亞裡士多德特徵 161
第十節 兩前提Q-有效三段論總覽 162
第十一節 QLXM系統的擴展 165
第十二節 亞裡士多德模態三段論的重構 165
第十三節 本章小結 176
第四章 關係三段論的形式化研究 184
第一節 引言 184
第二節 相關準備工作 186
第三節 間接三段論系統S和Sy 197
第四節 具有斥完全性的關係三段論系統R 204
第五節 間接關係三段論系統R 213
第六節 非間接關係三段論系統Ry和Ry 217
第七節 其他相關的關係三段論片段 226
第八節 關係三段論片段的複雜性 229
第九節 關係三段論的可靠性和完全性研究 230
第十節 本章小結 264
第五章 帶有完全布爾運算的關係三段論系統 266
第一節 引言 266
第二節 帶有完全布爾運算的關係三段論的語法與語義 272
第三節 帶有完全布爾運算的關係三段論的公理和推理規則 274
第四節 帶有完全布爾運算的關係三段論系統的完全性 277
第五節 帶有完全布爾運算的關係三段論的語義複雜性 292
第六節 本章小結 294
第六章 帶有動詞的擴展三段論研究 296
第一節 引言 296
第二節 轄域確定的NMI三段論片段的變種 299
第三節 同時帶有All、一個動詞和名詞性補語的三段論邏輯 310
第四節 含有類表達式的三段論片段 314
第五節 本章小結 321
參考文獻 323
後記 331