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

內容簡介

　知識表示與推理研究是探索人類智能的眾多途徑之一。傳統的基於邏輯方法的知識表示與推理主要依賴於經典邏輯。經典邏輯並不是直接為基於自然語言的推理而設計的，而是為基於半人工化數學語言的推理量身定製的。但是，人類的大多數知識是用自然語言而不是用數學語言表達的。這就使得傳統的知識表示與推理在應用方面受到侷限，不能真正為人工智能提供支持。為了擴大知識表示與推理的應用範圍，加強它對人工智能的支持力度，必須讓知識表示與推理建立在自然語言邏輯的基礎上。
　　《面向知識表示與推理的自然語言邏輯》以知識表示與推理為應用牽引，以非經典邏輯(包括哲學邏輯和語言邏輯)為理論驅動，針對自然語言的內涵性、模糊性、交互性、形態性和多樣性，分別構造了若干自然語言邏輯系統，包括：語境內涵邏輯、模糊量詞邏輯、帶群體知識的公開宣告邏輯、時態句型邏輯以及漢語靈活語序邏輯和漢語致使句邏輯，對現有的許多邏輯理論成果，如超內涵邏輯、自然邏輯、動態認知邏輯、多模態範疇邏輯和Lambek演算等進行了修正、拓展和改進，為今後的自然語言邏輯研究指明了新的方向。