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

定　價：￥63.00

作　者：	鞠實(shí)兒等著
出版社：	經(jīng)濟(jì)科學(xué)出版社
叢編項(xiàng)：	教育部哲學(xué)社會科學(xué)研究重大課題攻關(guān)項(xiàng)目
標(biāo)　簽：	語言文字

購買這本書可以去

ISBN：	9787505876002	出版時間：	2009-09-01	包裝：	平裝
開本：	16開	頁數(shù)：	383	字?jǐn)?shù)：

內(nèi)容簡介

　　知識表示與推理研究是探索人類智能的眾多途徑之一。傳統(tǒng)的基于邏輯方法的知識表示與推理主要依賴于經(jīng)典邏輯。經(jīng)典邏輯并不是直接為基于自然語言的推理而設(shè)計(jì)的，而是為基于半人工化數(shù)學(xué)語言的推理量身定制的。但是，人類的大多數(shù)知識是用自然語言而不是用數(shù)學(xué)語言表達(dá)的。這就使得傳統(tǒng)的知識表示與推理在應(yīng)用方面受到局限，不能真正為人工智能提供支持。為了擴(kuò)大知識表示與推理的應(yīng)用范圍，加強(qiáng)它對人工智能的支持力度，必須讓知識表示與推理建立在自然語言邏輯的基礎(chǔ)上?！睹嫦蛑R表示與推理的自然語言邏輯》以知識表示與推理為應(yīng)用牽引，以非經(jīng)典邏輯（包括哲學(xué)邏輯和語言邏輯）為理論驅(qū)動，針對自然語言的內(nèi)涵性、模糊性、交互性、形態(tài)性和多樣性，分別構(gòu)造了若干自然語言邏輯系統(tǒng)，包括：語境內(nèi)涵邏輯、模糊量詞邏輯、帶群體知識的公開宣告邏輯、時態(tài)句型邏輯以及漢語靈活語序邏輯和漢語致使句邏輯，對現(xiàn)有的許多邏輯理論成果，如超內(nèi)涵邏輯、自然邏輯、動態(tài)認(rèn)知邏輯、多模態(tài)范疇邏輯和Lambek演算等進(jìn)行了修正、拓展和改進(jìn)，為今后的自然語言邏輯研究指明了新的方向。

作者簡介

　　鞠實(shí)兒，男，1953年9月出生。教育部人文社會科學(xué)重點(diǎn)研究基地中山大學(xué)邏輯與認(rèn)知研究所所長，中山大學(xué)哲學(xué)系教授、邏輯學(xué)博士生導(dǎo)師。主要研究領(lǐng)域：非經(jīng)典邏輯與邏輯哲學(xué)、邏輯學(xué)的認(rèn)知基礎(chǔ)、邏輯與文化、科學(xué)技術(shù)哲學(xué)。在科研方面：近十年主持省部級以上項(xiàng)目15項(xiàng)；同時還連續(xù)主持三期211和二期985項(xiàng)目；國家社科基金項(xiàng)目“超內(nèi)涵邏輯”和“基于開放世界假設(shè)的三值邏輯系統(tǒng)及其在AI中的應(yīng)用”最終成果分別在2007年和2008年鑒定為優(yōu)秀；在Epistemologia，Journal of Philosophical logic，Studia Logica，IJCA，等重要國際學(xué)術(shù)刊物以及中國社會科學(xué)等國內(nèi)刊物和文集發(fā)表論著共60余篇；主編國際學(xué)術(shù)論文集A Meeting of Minds：Proceedings of the Workshop on Logic，Rationality and Interaction和Studia Logica Special Issue：Many-Valued Logic and Cognition等兩部，上述論文集均由國際重要出版機(jī)構(gòu)出版發(fā)行。在社會工作方面：2008年創(chuàng)辦我國、第一份全國性邏輯學(xué)刊物《邏輯學(xué)研究》并擔(dān)任主編；同時兼任國務(wù)院學(xué)位委員會哲學(xué)學(xué)科評議組成員，教育部社會科學(xué)委員會委員，國家社會科學(xué)基金項(xiàng)目評審組專家，中國邏輯學(xué)會副會長。

圖書目錄

第1章邏輯、自然語言與KRR
　1.1 自然語言的內(nèi)涵性與KRR
　1.2 自然語言的模糊性與KRR
　1.3 自然語言的交互性與KRR
　1.4 自然語言的形態(tài)性與KRR
　1.5 自然語言的多樣性與KRR
　1.6　本書結(jié)構(gòu)——從KRR到LNL
第2章　類型邏輯與Lambek演算
2.1　范疇語法
2.2　類型邏輯
2.3 Lambek演算的代數(shù)模型
2.4 Lambek演算的證明論性質(zhì)
2.5 Lambek演算與結(jié)構(gòu)規(guī)則
第3章面向自然語言內(nèi)涵性的LNL：語境內(nèi)涵邏輯
　3.1 導(dǎo)言
　3.2 內(nèi)涵邏輯及其問題
　3.3　超內(nèi)涵邏輯及其問題　
　3.4　語境內(nèi)涵邏輯Ⅰ：基于可能世界語義
　3.5　語境內(nèi)涵邏輯Ⅱ：基于鄰域語義
　3.6　語境內(nèi)涵邏輯Ⅲ：基于代數(shù)語義
　3.7　語境內(nèi)涵語義Ⅰ：基于博弈語義
　3.8　語境內(nèi)涵語義Ⅱ：基于更新一局部模型語義
第4章　面向自然語言模糊性的LNL：模糊量詞邏輯
　4.1 導(dǎo)言
　4.2　模糊量詞的語義
　4.3　模糊量詞的性質(zhì)
　4.4　模糊量詞推理
　4.5 基于Lambek演算的模糊量詞自然邏輯推理系統(tǒng)FQNL
　4.6　FQNL系統(tǒng)0C的判定算法
第5章面向自然語言交互性的LNL：帶群體知識的公開宣告邏輯
　5.1 導(dǎo)言
　5.2　語言交流與動態(tài)認(rèn)知邏輯模型
　5.3　公開宣告邏輯PAL
　5.4　群體知識
　5.5　靜態(tài)認(rèn)知邏輯s5Bm(RC，D，E)
　5.6　帶有群體知識的公開宣告邏輯PAL(RC，D，E)
　5.7　應(yīng)用分析
第6章面向自然語言形態(tài)性的LNL：時態(tài)句型的Lambek演算
　6.1 導(dǎo)言
　6.2　并發(fā)的Lambek時態(tài)演算系統(tǒng)
　6.3　模態(tài)Lambek時態(tài)演算系統(tǒng)
第7章　面向漢語的LNL
　7.1 導(dǎo)言
　7.2　形式語義學(xué)對漢語句法語義的關(guān)注
　7.3　面向漢語靈活語序和致使語義的LNL
附錄1 廣義量詞理論
附錄2　模糊集理論及模糊邏輯
附錄3　類型論與入λ-演算
參考文獻(xiàn)
后記