中圖網(wǎng)小程序
一鍵登錄
更方便
包郵 面向知識(shí)表示與推理的自然語(yǔ)言邏輯
作者：鞠實(shí)兒等著
開(kāi)本：
16開(kāi)
頁(yè)數(shù)：
383
本類(lèi)榜單：社會(huì)科學(xué)銷(xiāo)量榜
本類(lèi)五星書(shū)更多>
-
>
妙相梵容
-
>
基立爾蒙文:蒙文
-
>
我的石頭記
-
>
心靈元?dú)馍?/p>
-
>
女性生存戰(zhàn)爭(zhēng)
-
>
縣中的孩子 中國(guó)縣域教育生態(tài)
-
>
(精)人類(lèi)的明天(八品)
中圖價(jià):¥35.6
加入購(gòu)物車(chē)
面向知識(shí)表示與推理的自然語(yǔ)言邏輯 版權(quán)信息
- ISBN：9787505876002
- 條形碼：9787505876002 ; 978-7-5058-7600-2
- 裝幀：暫無(wú)
- 冊(cè)數(shù)：暫無(wú)
- 重量：暫無(wú)
- 所屬分類(lèi)：>
面向知識(shí)表示與推理的自然語(yǔ)言邏輯 內(nèi)容簡(jiǎn)介
知識(shí)表示與推理研究是探索人類(lèi)智能的眾多途徑之一。傳統(tǒng)的基于邏輯方法的知識(shí)表示與推理主要依賴(lài)于經(jīng)典邏輯。經(jīng)典邏輯并不是直接為基于自然語(yǔ)言的推理而設(shè)計(jì)的，而是為基于半人工化數(shù)學(xué)語(yǔ)言的推理量身定制的。但是，人類(lèi)的大多數(shù)知識(shí)是用自然語(yǔ)言而不是用數(shù)學(xué)語(yǔ)言表達(dá)的。這就使得傳統(tǒng)的知識(shí)表示與推理在應(yīng)用方面受到局限，不能真正為人工智能提供支持。為了擴(kuò)大知識(shí)表示與推理的應(yīng)用范圍，加強(qiáng)它對(duì)人工智能的支持力度，必須讓知識(shí)表示與推理建立在自然語(yǔ)言邏輯的基礎(chǔ)上。 本書(shū)以知識(shí)表示與推理為應(yīng)用牽引，以非經(jīng)典邏輯(包括哲學(xué)邏輯和語(yǔ)言邏輯)為理論驅(qū)動(dòng)，針對(duì)自然語(yǔ)言的內(nèi)涵性、模糊性、交互性、形態(tài)性和多樣性，分別構(gòu)造了若干自然語(yǔ)言邏輯系統(tǒng)，包括：語(yǔ)境內(nèi)涵邏輯、模糊量詞邏輯、帶群體知識(shí)的公開(kāi)宣告邏輯、時(shí)態(tài)句型邏輯以及漢語(yǔ)靈活語(yǔ)序邏輯和漢語(yǔ)致使句邏輯，對(duì)現(xiàn)有的許多邏輯理論成果，如超內(nèi)涵邏輯、自然邏輯、動(dòng)態(tài)認(rèn)知邏輯、多模態(tài)范疇邏輯和lambek演算等進(jìn)行了修正、拓展和改進(jìn)，為今后的自然語(yǔ)言邏輯研究指明了新的方向。
面向知識(shí)表示與推理的自然語(yǔ)言邏輯 目錄
第1章 邏輯、自然語(yǔ)言與KRR 1.1 自然語(yǔ)言的內(nèi)涵性與KRR 1.2 自然語(yǔ)言的模糊性與KRR 1.3 自然語(yǔ)言的交互性與KRR 1.4 自然語(yǔ)言的形態(tài)性與KRR 1.5 自然語(yǔ)言的多樣性與KRR 1.6 本書(shū)結(jié)構(gòu)——從KRR到LNL第2章 類(lèi)型邏輯與Lambek演算2.1 范疇語(yǔ)法2.2 類(lèi)型邏輯2.3 Lambek演算的代數(shù)模型2.4 Lambek演算的證明論性質(zhì)2.5 Lambek演算與結(jié)構(gòu)規(guī)則第3章 面向自然語(yǔ)言?xún)?nèi)涵性的LNL：語(yǔ)境內(nèi)涵邏輯 3.1 導(dǎo)言 3.2 內(nèi)涵邏輯及其問(wèn)題 3.3 超內(nèi)涵邏輯及其問(wèn)題 3.4 語(yǔ)境內(nèi)涵邏輯Ⅰ：基于可能世界語(yǔ)義 3.5 語(yǔ)境內(nèi)涵邏輯Ⅱ：基于鄰域語(yǔ)義 3.6 語(yǔ)境內(nèi)涵邏輯Ⅲ：基于代數(shù)語(yǔ)義 3.7 語(yǔ)境內(nèi)涵語(yǔ)義Ⅰ：基于博弈語(yǔ)義 3.8 語(yǔ)境內(nèi)涵語(yǔ)義Ⅱ：基于更新一局部模型語(yǔ)義第4章 面向自然語(yǔ)言模糊性的LNL：模糊量詞邏輯 4.1 導(dǎo)言 4.2 模糊量詞的語(yǔ)義 4.3 模糊量詞的性質(zhì) 4.4 模糊量詞推理 4.5 基于Lambek演算的模糊量詞自然邏輯推理系統(tǒng)FQNL 4.6 FQNL系統(tǒng)0C的判定算法第5章 面向自然語(yǔ)言交互性的LNL：帶群體知識(shí)的公開(kāi)宣告邏輯 5.1 導(dǎo)言 5.2 語(yǔ)言交流與動(dòng)態(tài)認(rèn)知邏輯模型 5.3 公開(kāi)宣告邏輯PAL 5.4 群體知識(shí) 5.5 靜態(tài)認(rèn)知邏輯s5Bm(RC，D，E) 5.6 帶有群體知識(shí)的公開(kāi)宣告邏輯PAL(RC，D，E) 5.7 應(yīng)用分析第6章 面向自然語(yǔ)言形態(tài)性的LNL：時(shí)態(tài)句型的Lambek演算 6.1 導(dǎo)言 6.2 并發(fā)的Lambek時(shí)態(tài)演算系統(tǒng) 6.3 模態(tài)Lambek時(shí)態(tài)演算系統(tǒng)第7章 面向漢語(yǔ)的LNL 7.1 導(dǎo)言 7.2 形式語(yǔ)義學(xué)對(duì)漢語(yǔ)句法語(yǔ)義的關(guān)注 7.3 面向漢語(yǔ)靈活語(yǔ)序和致使語(yǔ)義的LNL附錄1 廣義量詞理論附錄2 模糊集理論及模糊邏輯附錄3 類(lèi)型論與入λ-演算參考文獻(xiàn)后記
展開(kāi)全部
面向知識(shí)表示與推理的自然語(yǔ)言邏輯 節(jié)選
《面向知識(shí)表示與推理的自然語(yǔ)言邏輯》以知識(shí)表示與推理為應(yīng)用牽引，以非經(jīng)典邏輯(包括哲學(xué)邏輯和語(yǔ)言邏輯)為理論驅(qū)動(dòng)，針對(duì)自然語(yǔ)言的內(nèi)涵性、模糊性、交互性、形態(tài)性和多樣性，分別構(gòu)造了若干自然語(yǔ)言邏輯系統(tǒng)，包括：語(yǔ)境內(nèi)涵邏輯、模糊量詞邏輯、帶群體知識(shí)的公開(kāi)宣告邏輯、時(shí)態(tài)句型邏輯以及漢語(yǔ)靈活語(yǔ)序邏輯和漢語(yǔ)致使句邏輯，對(duì)現(xiàn)有的許多邏輯理論成果，如超內(nèi)涵邏輯、自然邏輯、動(dòng)態(tài)認(rèn)知邏輯、多模態(tài)范疇邏輯和Lambek演算等進(jìn)行了修正、拓展和改進(jìn)，為今后的自然語(yǔ)言邏輯研究指明了新的方向。知識(shí)表示與推理研究是探索人類(lèi)智能的眾多途徑之一。傳統(tǒng)的基于邏輯方法的知識(shí)表示與推理主要依賴(lài)于經(jīng)典邏輯。經(jīng)典邏輯并不是直接為基于自然語(yǔ)言的推理而設(shè)計(jì)的，而是為基于半人工化數(shù)學(xué)語(yǔ)言的推理量身定制的。但是，人類(lèi)的大多數(shù)知識(shí)是用自然語(yǔ)言而不是用數(shù)學(xué)語(yǔ)言表達(dá)的。這就使得傳統(tǒng)的知識(shí)表示與推理在應(yīng)用方面受到局限，不能真正為人工智能提供支持。為了擴(kuò)大知識(shí)表示與推理的應(yīng)用范圍，加強(qiáng)它對(duì)人工智能的支持力度，必須讓知識(shí)表示與推理建立在自然語(yǔ)言邏輯的基礎(chǔ)上。
面向知識(shí)表示與推理的自然語(yǔ)言邏輯 相關(guān)資料
第1章 邏輯、自然語(yǔ)言與KRR與形式語(yǔ)言相比，自然語(yǔ)言有內(nèi)涵性、模糊性、交互性、形態(tài)性和多樣性等顯著特點(diǎn)。這些特點(diǎn)一方面為KRR設(shè)置了困難和挑戰(zhàn)，另一方面也為KRR提供了更為深刻的直觀背景和更加廣闊的應(yīng)用前景。 1．1 自然語(yǔ)言的內(nèi)涵性與KRR自然語(yǔ)言與形式語(yǔ)言相比的一個(gè)首要特點(diǎn)就是自然語(yǔ)言具有突出的內(nèi)涵性（intensionality）。這種內(nèi)涵性不但包括語(yǔ)用上的內(nèi)涵性，即所謂的言外之意（connotation），如“13”在西方除了表示數(shù)字，還有不吉利之意，更重要的在于它還包括語(yǔ)義上的內(nèi)涵性，即用以確定表達(dá)式指稱(chēng)的語(yǔ)義內(nèi)容，弗雷格（Gottlob Frege）和卡爾納普（Rudolf Carnap）分別稱(chēng)之為sense和intension。從這一角度看，內(nèi)涵概念與外延（extension）、指稱(chēng)（reference）或所指（denotation）等概念相對(duì)。但是，它們兩者之間并不具有一一對(duì)應(yīng)關(guān)系。在自然語(yǔ)言中，外延相同而內(nèi)涵不同的表達(dá)式比比皆是，如“有心臟的動(dòng)物”與“有腎臟的動(dòng)物”，“北京”與“中華人民共和國(guó)首都”。最臭名昭著的例子是“天然兩足無(wú)羽動(dòng)物”與“人”。
面向知識(shí)表示與推理的自然語(yǔ)言邏輯 作者簡(jiǎn)介
鞠實(shí)兒，男，1953年9月出生。教育部人文社會(huì)科學(xué)重點(diǎn)研究基地中山大學(xué)邏輯與認(rèn)知研究所所長(zhǎng)，中山大學(xué)哲學(xué)系教授、邏輯學(xué)博士生導(dǎo)師。主要研究領(lǐng)域：非經(jīng)典邏輯與邏輯哲學(xué)、邏輯學(xué)的認(rèn)知基礎(chǔ)、邏輯與文化、科學(xué)技術(shù)哲學(xué)。 在科研方面：近十年主持省部級(jí)以上項(xiàng)目15項(xiàng)；同時(shí)還連續(xù)主持三期211和二期985項(xiàng)目；國(guó)家社科基金項(xiàng)目“超內(nèi)涵邏輯”和“基于開(kāi)放世界假設(shè)的三值邏輯系統(tǒng)及其在AI中的應(yīng)用”最終成果分別在2007年和2008年鑒定為優(yōu)秀；在Epistemologia，Journal of Philosophical logic，Studia Logica，IJCA，等重要國(guó)際學(xué)術(shù)刊物以及中國(guó)社會(huì)科學(xué)等國(guó)內(nèi)刊物和文集發(fā)表論著共60余篇；主編國(guó)際學(xué)術(shù)論文集A Meeting of Minds：Proceedings of the Workshop on Logic,Rationality and Interaction和Studia Logica Special Issue：Many-Valued Logic and Cognition等兩部，上述論文集均由國(guó)際重要出版機(jī)構(gòu)出版發(fā)行。 在社會(huì)工作方面：2008年創(chuàng)辦我國(guó)、第一份全國(guó)性邏輯學(xué)刊物《邏輯學(xué)研究》并擔(dān)任主編；同時(shí)兼任國(guó)務(wù)院學(xué)位委員會(huì)哲學(xué)學(xué)科評(píng)議組成員，教育部社會(huì)科學(xué)委員會(huì)委員，國(guó)家社會(huì)科學(xué)基金項(xiàng)目評(píng)審組專(zhuān)家，中國(guó)邏輯學(xué)會(huì)副會(huì)長(zhǎng)。
書(shū)友推薦
- >
龍榆生：詞曲概論/大家小書(shū)
- >
小考拉的故事-套裝共3冊(cè)
- >
推拿
- >
月亮虎
- >
羅曼·羅蘭讀書(shū)隨筆-精裝
- >
月亮與六便士
- >
史學(xué)評(píng)論
- >
苦雨齋序跋文-周作人自編集
本類(lèi)暢銷(xiāo)
