逻辑能用来表示知识吗

你听说过“计算机也有知识吗”？知识在计算机中又是如何表示的呢？

因为智能活动过程主要是一个获得并应用知识的过程，所以智能活动的研究范围包括：知识获取、知识表示、知识应用。而知识必须有适当的表示形式，才便于在计算机中存储、检索、使用和修改。

把客观世界的某些事实以及人们对客观世界的认识所积累的知识，用一套系统的方法来表示，这就是人们常说的“知识表示”问题，即“如何表示知识”，或怎样使计算机“理解”和处理知识，并以人类能理解的方式将处理结果告诉人们。

经过计算机科学家多年的研究，已有了许多种不同的知识表示方法，其中最著名的是逻辑公式的表示方法，我们这里讲的逻辑是指数理逻辑，它包括命题演算和谓词演算两部分。

德国数学家、哲学家莱布尼兹在17世纪70年代明确提出了一个宏伟的设想：制造一种推理机器，把人类关于理性的归纳和演绎机械化。莱布尼兹一生为此倾注了大量的心血。他为数理逻辑作出了奠基性的工作。他尝试把逻辑表示成一种演算，从而可将思维过程用符号演算过程表示出来。

用逻辑公式来表示知识，必须要将所有的知识和逻辑演算符号化。比如，用P表示“雪是红的”，Q表示“今天下雨”，R表示“明天下雨”，则“雪不是红的”就可表示为：¬P。而“今天下雨而且明天也下雨”可表示为：Q∧R。这里¬和∧都是逻辑演算的联结词。再比如，Hunmn（x）表示：“x是人”，Mortal（x）表示“x会死的”，则“对所有的x，x是人，并且X会死的”可表示为：∀x（Human（X）∧Mortal（x））。这里，Human（x）和Mortal（x）称为谓词，∀称为全称量词。

逻辑表示的重要特性是它的演绎结果在一定范围内保证正确，而其他知识表示方式则至今还未做到这一点。这是逻辑被广泛用来表示知识的一个原因。以逻辑为基础的表示方法在人工智能研究中广泛应用的另一个原因，是它从现有的知识推导出“新”知识的方法可以机械化。

逻辑表示在数据库、专家系统、软件工程和自动定理证明等许多计算机科学领域都是很有用的。

关键词：逻辑 逻辑公式 命题演算 谓词演算