知識(shí)表示與推理研究是探索人類智能的眾多途徑之一。傳統(tǒng)的基于邏輯方法的知識(shí)表示與推理主要依賴于經(jīng)典邏輯。經(jīng)典邏輯并不是直接為基于自然語言的推理而設(shè)計(jì)的,而是為基于半人工化數(shù)學(xué)語言的推理量身定制的。但是,人類的大多數(shù)知識(shí)是用自然語言而不是用數(shù)學(xué)語言表達(dá)的。這就使得傳統(tǒng)的知識(shí)表示與推理在應(yīng)用方面受到局限,不能真正為人工智能提供支持。為了擴(kuò)大知識(shí)表示與推理的應(yīng)用范圍,加強(qiáng)它對(duì)人工智能的支持力度,必須讓知識(shí)表示與推理建立在自然語言邏輯的基礎(chǔ)上。
《面向知識(shí)表示與推理的自然語言邏輯》以知識(shí)表示與推理為應(yīng)用牽引,以非經(jīng)典邏輯(包括哲學(xué)邏輯和語言邏輯)為理論驅(qū)動(dòng),針對(duì)自然語言的內(nèi)涵性、模糊性、交互性、形態(tài)性和多樣性,分別構(gòu)造了若干自然語言邏輯系統(tǒng),包括:語境內(nèi)涵邏輯、模糊量詞邏輯、帶群體知識(shí)的公開宣告邏輯、時(shí)態(tài)句型邏輯以及漢語靈活語序邏輯和漢語致使句邏輯,對(duì)現(xiàn)有的許多邏輯理論成果,如超內(nèi)涵邏輯、自然邏輯、動(dòng)態(tài)認(rèn)知邏輯、多模態(tài)范疇邏輯和Lambek演算等進(jìn)行了修正、拓展和改進(jìn),為今后的自然語言邏輯研究指明了新的方向。
知識(shí)表示與推理研究是探索人類智能的眾多途徑之一。傳統(tǒng)的基于邏輯方法的知識(shí)表示與推理主要依賴于經(jīng)典邏輯。經(jīng)典邏輯并不是直接為基于自然語言的推理而設(shè)計(jì)的,而是為基于半人工化數(shù)學(xué)語言的推理量身定制的。但是,人類的大多數(shù)知識(shí)是用自然語言而不是用數(shù)學(xué)語言表達(dá)的。這就使得傳統(tǒng)的知識(shí)表示與推理在應(yīng)用方面受到局限,不能真正為人工智能提供支持。為了擴(kuò)大知識(shí)表示與推理的應(yīng)用范圍,加強(qiáng)它對(duì)人工智能的支持力度,必須讓知識(shí)表示與推理建立在自然語言邏輯的基礎(chǔ)上。
第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)言
第1章 邏輯、自然語言與KRR
與形式語言相比,自然語言有內(nèi)涵性、模糊性、交互性、形態(tài)性和多樣性等顯著特點(diǎn)。這些特點(diǎn)一方面為KRR設(shè)置了困難和挑戰(zhàn),另一方面也為KRR提供了更為深刻的直觀背景和更加廣闊的應(yīng)用前景。
1.1 自然語言的內(nèi)涵性與KRR
自然語言與形式語言相比的一個(gè)首要特點(diǎn)就是自然語言具有突出的內(nèi)涵性(intensionality)。這種內(nèi)涵性不但包括語用上的內(nèi)涵性,即所謂的言外之意(connotation),如“13”在西方除了表示數(shù)字,還有不吉利之意,更重要的在于它還包括語義上的內(nèi)涵性,即用以確定表達(dá)式指稱的語義內(nèi)容,弗雷格(Gottlob Frege)和卡爾納普(Rudolf Carnap)分別稱之為sense和intension。從這一角度看,內(nèi)涵概念與外延(extension)、指稱(reference)或所指(denotation)等概念相對(duì)。但是,它們兩者之間并不具有一一對(duì)應(yīng)關(guān)系。在自然語言中,外延相同而內(nèi)涵不同的表達(dá)式比比皆是,如“有心臟的動(dòng)物”與“有腎臟的動(dòng)物”,“北京”與“中華人民共和國首都”。最臭名昭著的例子是“天然兩足無羽動(dòng)物”與“人”。
……