这里所说的逻辑是指一阶谓词逻辑(First order predicate logic),逻辑表示法是最早使用的一种知识表示方法，其推理系统采用归结原理。它具有简单、自然、精确、灵活、模块化的优点。其缺点是难于表达过程性知识和启发性知识，不易组织推理，其推理方法在事实较多时易于产生组合爆炸，且不易实现非单调和不精确的推理。

      谓词逻辑的表达式称为合式公式wff(well-formed formula),而合式公式是由原子公式、连接词和量词组成的。

      合式公式是由原子公式、连接词和量词组成。

      原子公式是最基本的合式公式，它由谓词、括号和括号中的项组成的，其中项可以是常量、变量和函数。例如：

用来组合原子公式以形成较复杂的合式公式

      １、合取“”：设P、Q为合式公式，则PQ表示P与Q的合取，P与Q称为合取项。当合取项P与Q为真时，PQ取值“真”，否则取值为“假”。

      ２、析取“”：设P、Q为合式公式，则PQ表示P与Q的析取，P与Q称为析取项。当析取项P和Q至少一个为真时，PQ取值“真”，否则取值为“假”。

      ３、蕴涵“”：设P、Q为合式公式，则PQ表示称作蕴涵，P称为前项，Q称为后项。蕴涵PQ常用于表示if P then Q。如果后项取值为真，或前项取值为假，则蕴涵式的值为真，否则为假。其真值表为：

P	Q	PQ
T	T	T
T	F	F
F	T	T
F	F	T
蕴涵式的真值表

      ４、否定“”：设P为合式公式，则P称为合式公式的否定。当P为真时，P取值“假”；当P为假时，P取值“真” 。

      在合式公式中出现变量的时候，前面可以加量词以说明变量的范围，这种说明称为量化

      １、全称量词“”：设P(x)为合式公式，如果在P(x)前加以全称量词(x)(读作对所有的x),只有在某个解释下对论域中实体x的所有可能值P(x)都为真时，公式(x)P(x)在该解释下才取值“真”。

    ２、存在量词“”：设P(x)为合式公式，如果在P(x)前加以全称量词(x)(读作至少存在一个x),只要在某个解释下论域中实体x至少有一个值使P(x)为真，公式(x)P(x)在该解释下就取值“真”。

返回