面向知識表示與推理的自然語言邏輯

內容簡介

《面向知識表示與推理的自然語言邏輯》以知識表示與推理為套用牽引，以非經典邏輯(包括哲學邏輯和語言邏輯)為理論驅動，針對自然語言的內涵性、模糊性、互動性、形態性和多樣性，分別構造了若干自然語言邏輯系統，包括：語境內涵邏輯、模糊量詞邏輯、帶群體知識的公開宣告邏輯、時態句型邏輯以及漢語靈活語序邏輯和漢語致使句邏輯，對現有的許多邏輯理論成果，如超內涵邏輯、自然邏輯、動態認知邏輯、多模態範疇邏輯和Lambek演算等進行了修正、拓展和改進，為今後的自然語言邏輯研究指明了新的方向。知識表示與推理研究是探索人類智慧型的眾多途徑之一。傳統的基於邏輯方法的知識表示與推理主要依賴於經典邏輯。經典邏輯並不是直接為基於自然語言的推理而設計的，而是為基於半人工化數學語言的推理量身定製的。但是，人類的大多數知識是用自然語言而不是用數學語言表達的。這就使得傳統的知識表示與推理在套用方面受到局限，不能真正為人工智慧提供支持。為了擴大知識表示與推理的套用範圍，加強它對人工智慧的支持力度，必須讓知識表示與推理建立在自然語言邏輯的基礎上。

圖書目錄

第1章邏輯、自然語言與KRR

1.1 自然語言的內涵性與KRR

1.2 自然語言的模糊性與KRR

1.3 自然語言的互動性與KRR

1.4 自然語言的形態性與KRR

1.5 自然語言的多樣性與KRR

1.6 本書結構——從KRR到LNL

第2章類型邏輯與Lambek演算

2.1 範疇語法

2.2 類型邏輯

2.3 Lambek演算的代數模型

2.4 Lambek演算的證明論性質

2.5 Lambek演算與結構規則

第3章面向自然語言內涵性的LNL：語境內涵邏輯

3.1 導言

3.2 內涵邏輯及其問題

3.3 超內涵邏輯及其問題

3.4 語境內涵邏輯Ⅰ：基於可能世界語義

3.5 語境內涵邏輯Ⅱ：基於鄰域語義

3.6 語境內涵邏輯Ⅲ：基於代數語義

3.7 語境內涵語義Ⅰ：基於博弈語義

3.8 語境內涵語義Ⅱ：基於更新一局部模型語義

第4章面向自然語言模糊性的LNL：模糊量詞邏輯

4.1 導言

4.2 模糊量詞的語義

4.3 模糊量詞的性質

4.4 模糊量詞推理

4.5 基於Lambek演算的模糊量詞自然邏輯推理系統FQNL

4.6 FQNL系統0C的判定算法

第5章面向自然語言互動性的LNL：帶群體知識的公開宣告邏輯

5.1 導言

5.2 語言交流與動態認知邏輯模型

5.3 公開宣告邏輯PAL

5.4 群體知識

5.5 靜態認知邏輯s5Bm(RC，D，E)

5.6 帶有群體知識的公開宣告邏輯PAL(RC，D，E)

面向知識表示與推理的自然語言邏輯

基本介紹

內容簡介

圖書目錄

作者簡介

相關詞條

熱門詞條