第15章 谓词演算.ppt

* * 第15章 谓词演算 第三部分 知识的表示和推理 动机 命题演算有一些局限性。例如，我们不能表达这样的事实：当移动木块B时，说它就是ON_B_C所断言的木块C上的木块。在命题演算中，原子是没有内部结构的串。在关于木块的命题中，ON_A_B和ON_B_C是完全不同的。尽管给这些原子使用了助记名称(帮助我们记住它们代表什么)，但也可以使用其他命题字母，如P124和Q23。 一种更有用的语言应该是既能指称在这个世界中的事物(像木块)，也能指称有关这个世界的命题。 因此，我们需要一种语言，它既有对此进行命题陈述的事物的名称，又有我们要进行陈述的命题的名称。 动机 在玩积木的世界(在此之后，称之为“积木世界”)中，也许应该有像 ON_B_C?? CLEAR_C 这样的命题，其中， CLEAR_C 表示木块C上是空的。要为每个木块都表达一个这样的事实将需要几个命题公式。假如我们能够用on(x，y) ? ? Clear(y)这样简单的陈述就好了，这里x和y是能够指称任何木块的变量。 一阶谓词演算语言具有这些需要的特征。谓词演算具有一些被称为对象常量(object constant)、关系常量(relation constants)和函数常量(function constants)的符号，以及另外我们后面要介绍的一些结构。这些语言实体(当