[谓词论文.docVIP

复合谓词逻辑系统 一、研究背景 随着现代逻辑的不断发展，逻辑学的研究对象已由数学和哲学领域拓展到自然语言、认知科学和计算机信息科学等更为广泛的应用科学领域，并推动了这些应用科学的进步，同时应用学科的发展也对逻辑学提出了新的要求，促进了逻辑学的发展。 在现代逻辑学中，自然语言逻辑作为逻辑和语言交叉研究的成果，尽管诞生时间不长，但已经成为现代逻辑学中极具生命力和发展前途的一类，并且自然语言逻辑的研究也已取得了丰硕的成果，实践价值显著。 所谓自然语言指的是人类在长期共同社会生活交流中形成的语言，如英语、汉语、法语、德语等。自然语言逻辑研究源自计算机对自然语言进行形式化处理，使其能被计算机理解和处理。因为自然语言与逻辑系统两者的构成方式有类似之处，都是由小单元根据一定的构成规则组成大单元，同时接受语义模型解释。从某种角度说，自然语言系统内在可被视为是逻辑系统，而逻辑系统也可视为是一种符号语言系统。逻辑学也是计算机的理论基础之一，所以运用逻辑学研究自然语言，研究自然语言的逻辑特征和语义问题，构造符合自然语言语法规则的逻辑系统及其模型，使其可以描述语言中的语句和推理，并得到有效的推理，是自然语言逻辑的主要目的和任务。 计算机处理自然语言，首先需要形式化所关注的自然语言问题，然后再把形式化表述用算法表示出来，最后根据算法编制程序，用计算机实现。目前自然语言逻辑系统的主要应用和实现领域在计算机信息