《面向知識表示與推理的自然語言邏輯》以知識表示與推理為套用牽引，以非經典邏輯(包括哲學邏輯和語言邏輯)為理論驅動，針對自然語言的內涵性、模糊性、互動性、形態性和多樣性，分別構造了若干自然語言邏輯系統，包括：語境內涵邏輯、模糊量詞邏輯、帶群體知識的公開宣告邏輯、時態句型邏輯以及漢語靈活語序邏輯和漢語致使句邏輯，對現有的許多邏輯理論成果，如超內涵邏輯、自然邏輯、動態認知邏輯、多模態範疇邏輯和Lambek演算等進行了修正、拓展和改進，為今後的自然語言邏輯研究指明了新的方向。知識表示與推理研究是探索人類智慧型的眾多途徑之一。傳統的基於邏輯方法的知識表示與推理主要依賴於經典邏輯。經典邏輯並不是直接為基於自然語言的推理而設計的，而是為基於半人工化數學語言的推理量身定製的。但是，人類的大多數知識是用自然語言而不是用數學語言表達的。這就使得傳統的知識表示與推理在套用方面受到局限，不能真正為人工智慧提供支持。為了擴大知識表示與推理的套用範圍，加強它對人工智慧的支持力度，必須讓知識表示與推理建立在自然語言邏輯的基礎上。
基本介紹
- 書名：面向知識表示與推理的自然語言邏輯
- 出版社：經濟科學出版社
- 頁數：383頁
- ISBN：7505876007, 9787505876002
- 作者：鞠實兒 等
- 出版日期：2009年9月1日
- 開本：16
- 品牌：經濟科學出版社
作者簡介,圖書目錄,文摘,
作者簡介
鞠實兒，男，1953年9月出生。教育部人文社會科學重點研究基地中山大學邏輯與認知研究所所長，中山大學哲學系教授、邏輯學博士生導師。主要研究領域：非經典邏輯與邏輯哲學、邏輯學的認知基礎、邏輯與文化、科學技術哲學。 在科研方面：近十年主持省部級以上項目15項；同時還連續主持三期211和二期985項目；國家社科基金項目“超內涵邏輯”和“基於開放世界假設的三值邏輯系統及其在AI中的套用”最終成果分別在2007年和2008年鑑定為優秀；在Epistemologia，Journal of Philosophical logic，Studia Logica，IJCA，等重要國際學術刊物以及中國社會科學等國內刊物和文集發表論著共60餘篇；主編國際學術論文集A Meeting of Minds：Proceedings of the Workshop on Logic,Rationality and Interaction和Studia Logica Special Issue：Many-Valued Logic and Cognition等兩部，上述論文集均由國際重要出版機構出版發行。 在社會工作方面：2008年創辦我國、第一份全國性邏輯學刊物《邏輯學研究》並擔任主編；同時兼任國務院學位委員會哲學學科評議組成員，教育部社會科學委員會委員，國家社會科學基金項目評審組專家，中國邏輯學會副會長。
圖書目錄
第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)
5.7 套用分析
第6章 面向自然語言形態性的LNL：時態句型的Lambek演算
6.1 導言
6.2 並發的Lambek時態演算系統
6.3 模態Lambek時態演算系統
第7章 面向漢語的LNL
7.1 導言
7.2 形式語義學對漢語句法語義的關注
7.3 面向漢語靈活語序和致使語義的LNL
附錄1 廣義量詞理論
附錄2 模糊集理論及模糊邏輯
附錄3 類型論與入λ-演算
參考文獻
後記
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)
5.7 套用分析
第6章 面向自然語言形態性的LNL：時態句型的Lambek演算
6.1 導言
6.2 並發的Lambek時態演算系統
6.3 模態Lambek時態演算系統
第7章 面向漢語的LNL
7.1 導言
7.2 形式語義學對漢語句法語義的關注
7.3 面向漢語靈活語序和致使語義的LNL
附錄1 廣義量詞理論
附錄2 模糊集理論及模糊邏輯
附錄3 類型論與入λ-演算
參考文獻
後記
文摘
第1章 邏輯、自然語言與KRR
與形式語言相比，自然語言有內涵性、模糊性、互動性、形態性和多樣性等顯著特點。這些特點一方面為KRR設定了困難和挑戰，另一方面也為KRR提供了更為深刻的直觀背景和更加廣闊的套用前景。
1．1 自然語言的內涵性與KRR
自然語言與形式語言相比的一個首要特點就是自然語言具有突出的內涵性（intensionality）。這種內涵性不但包括語用上的內涵性，即所謂的言外之意（connotation），如“13”在西方除了表示數字，還有不吉利之意，更重要的在於它還包括語義上的內涵性，即用以確定表達式指稱的語義內容，弗雷格（Gottlob Frege）和卡爾納普（Rudolf Carnap）分別稱之為sense和intension。從這一角度看，內涵概念與外延（extension）、指稱（reference）或所指（denotation）等概念相對。但是，它們兩者之間並不具有一一對應關係。在自然語言中，外延相同而內涵不同的表達式比比皆是，如“有心臟的動物”與“有腎臟的動物”，“北京”與“中華人民共和國首都”。最臭名昭著的例子是“天然兩足無羽動物”與“人”。
……
與形式語言相比，自然語言有內涵性、模糊性、互動性、形態性和多樣性等顯著特點。這些特點一方面為KRR設定了困難和挑戰，另一方面也為KRR提供了更為深刻的直觀背景和更加廣闊的套用前景。
1．1 自然語言的內涵性與KRR
自然語言與形式語言相比的一個首要特點就是自然語言具有突出的內涵性（intensionality）。這種內涵性不但包括語用上的內涵性，即所謂的言外之意（connotation），如“13”在西方除了表示數字，還有不吉利之意，更重要的在於它還包括語義上的內涵性，即用以確定表達式指稱的語義內容，弗雷格（Gottlob Frege）和卡爾納普（Rudolf Carnap）分別稱之為sense和intension。從這一角度看，內涵概念與外延（extension）、指稱（reference）或所指（denotation）等概念相對。但是，它們兩者之間並不具有一一對應關係。在自然語言中，外延相同而內涵不同的表達式比比皆是，如“有心臟的動物”與“有腎臟的動物”，“北京”與“中華人民共和國首都”。最臭名昭著的例子是“天然兩足無羽動物”與“人”。
……
