包郵 面向知識(shí)表示與推理的自然語(yǔ)言邏輯
-
>
妙相梵容
-
>
基立爾蒙文:蒙文
-
>
我的石頭記
-
>
心靈元?dú)馍?/p>
-
>
女性生存戰(zhàn)爭(zhēng)
-
>
縣中的孩子 中國(guó)縣域教育生態(tài)
-
>
(精)人類(lèi)的明天(八品)
面向知識(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ǔ)言邏輯 目錄
面向知識(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ū)
- >
小考拉的故事-套裝共3冊(cè)
- >
推拿
- >
月亮虎
- >
羅曼·羅蘭讀書(shū)隨筆-精裝
- >
月亮與六便士
- >
史學(xué)評(píng)論
- >
苦雨齋序跋文-周作人自編集