知識(shí)表示與推理研究是探索人類智能的眾多途徑之一。傳統(tǒng)的基于邏輯方法的知識(shí)表示與推理主要依賴于經(jīng)典邏輯。經(jīng)典邏輯并不是直接為基于自然語(yǔ)言的推理而設(shè)計(jì)的，而是為基于半人工化數(shù)學(xué)語(yǔ)言的推理量身定制的。但是，人類的大多數(shù)知識(shí)是用自然語(yǔ)言而不是用數(shù)學(xué)語(yǔ)言表達(dá)的。這就使得傳統(tǒng)的知識(shí)表示與推理在應(yīng)用方面受到局限，不能真正為人工智能提供支持。為了擴(kuò)大知識(shí)表示與推理的應(yīng)用范圍，加強(qiáng)它對(duì)人工智能的支持力度，必須讓知識(shí)表示與推理建立在自然語(yǔ)言邏輯的基礎(chǔ)上。
　　《面向知識(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ǔ)言邏輯研究指明了新的方向。