面向知識表示與推理的自然語言邏輯(簡體書)
商品簡介
本書以知識表示與推理為應用牽引,以非經典邏輯(包括哲學邏輯和語言邏輯)為理論驅動,針對自然語言的內涵性、模糊性、交互性、形態性和多樣性,分別構造了若干自然語言邏輯系統,包括:語境內涵邏輯、模糊量詞邏輯、帶群體知識的公開宣告邏輯、時態句型邏輯以及漢語靈活語序邏輯和漢語致使句邏輯,對現有的許多邏輯理論成果,如超內涵邏輯、自然邏輯、動態認知邏輯、多模態范疇邏輯和Lambek演算等進行了修正、拓展和改進,為今后的自然語言邏輯研究指明了新的方向。
作者簡介
目次
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 類型論與入λ-演算
參考文獻
后記
主題書展
更多主題書展
更多書展本週66折
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大,除封面破損、內頁脫落等較嚴重的狀態,其餘商品將正常出貨。
特別提醒:部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供,需以QR CODE 連結至當地網站註冊“並通過驗證程序”,方可下載使用。
無現貨庫存之簡體書,將向海外調貨:
海外有庫存之書籍,等候約45個工作天;
海外無庫存之書籍,平均作業時間約60個工作天,然不保證確定可調到貨,尚請見諒。
為了保護您的權益,「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨,請在商品鑑賞期內寄回,且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。