面向知识表示与推理的自然语言逻辑
知识表示与推理研究是探索人类智能的众多途径之一。传统的基于逻辑方法的知识表示与推理主要依赖于经典逻辑。经典逻辑并不是直接为基于自然语言的推理而设计的，而是为基于半人工化数学语言的推理量身定制的。但是，人类的大多数知识是用自然语言而不是用数学语言表达的。这就使得传统的知识表示与推理在应用方面受到局限，不能真正为人工智能提供支持。为了扩大知识表示与推理的应用范围，加强它对人工智能的支持力度，必须让知识表示与推理建立在自然语言逻辑的基础上。 《面向知识表示与推理的自然语言逻辑》以知识表示与推理为应用牵引，以非经典逻辑(包括哲学逻辑和语言逻辑)为理论驱动，针对自然语言的内涵性、模糊性、交互性、形态性和多样性，分别构造了若干自然语言逻辑系统，包括：语境内涵逻辑、模糊量词逻辑、带群体知识的公开宣告逻辑、时态句型逻辑以及汉语灵活语序逻辑和汉语致使句逻辑，对现有的许多逻辑理论成果，如超内涵逻辑、自然逻辑、动态认知逻辑、多模态范畴逻辑和Lambek演算等进行了修正、拓展和改进，为今后的自然语言逻辑研究指明了新的方向。