《人工智能（十五）》青少年教育丛书.pdfVIP

下载 第1 5章 谓 词 演 算 15.1 动机 命题演算有一些局限性。例如，我们不能表达这样的事实：当移动木块 B 时，说它就是 O N _ B _ C所断言的木块 C上的木块。在命题演算中，原子是没有内部结构的串。在关于木块的 命题中， O N _ A _ B和O N _ B _ C是完全不同的。尽管给这些原子使用了助记名称（帮助我们记住 它们代表什么），但也可以使用其他命题字母，如P 1 2 4和Q 2 3 。 一种更有用的语言应该是既能指称在这个世界中的事物（像木块），也能指称有关这个世 界的命题。我们需要一种语言，它既有对此进行命题陈述的事物的名称，又有我们要进行陈述 的命题的名称。在玩积木的世界（在此之后，称之为“积木世界”）中，也许应该有像 ON_B_C ¬ C L E A R _ C 这样的命题，其中，C L E A R _ C表示木块C上是空的。要为每个木块都 表达一个这样的事实将需要几个命题公式。假如我们能够用 O n ( x，y )¬ C l e a r ( y ) 这样简单 的陈述就好了，这里x 和y 是能够指称任何木块的变量。 在本章中，将介绍一种叫做一阶谓词演算的语言，它有这些需要的特征。谓词演算具有一 些被称为对象常量（ object constant ）、关系常量（relation constants ）和函数常量（f u n c t i o n c o n s t a n t s ）的符号，以及另外我们后面要介绍的一些结构。这些语言实体（当我们讨论语义学 时）将被用于指称这个世界中的事物和有关这个世界的命题。 15.2 谓词演算语言和它的句法 首先介绍一种受限的谓词演算，后面再介绍完整的谓词演算。同样，就目前来说，不要去 设法对语言的结构加上意思，这样，你将与必须操作这些结构的计算机程序处在同样的地位！ 组成： • 我们有一个对象常量的无限集合，它们是字母数字组成的字符串（常常是助记的，但是只是 有助于我们而不是计算机）。本书的对象常量用一个大写字母开始或者用一个数字开始。 例如：A a，1 2 5，1 3 B，Q，J o h n，E i f f e l T o w e r • 一个所有“目（a r i t y ）” 函数常量的无限集合。它们是字母数字组成的字符串，总是以 小写字母开头，并且总是以它们的目作为上标。 1 2 2 例如：f a t h e r O f ，d i s t a n c e B e t w e e n ，t i m e s • 一个所有目的关系常量的无限集合。这些是以大写字母开头的字母数字组成的字符串， 3 2 并且以它们的目作为上标（有时称一个关系常量为谓词）。例如：B 1 7 ，P a r e n t ， 1 1 4 L a r g e ，C l e a r ，X 1 1 • 命题联结词 ∨ 、∧ 、¬ 和 ，还有分隔符（、）、[、] 和分隔符，。 项 arity 是一个合成词，源于如 binary (arity=2) 、tertiary (arity=3) ，等等中的后缀。 第15章 谓 词 演 算计计147 下载 • 一个对象常量是一个项（t e r m ）。 • 一个n 目的函数常量，后面跟着处于括号中、由逗号分隔的项，是一个词项。这类词项被 称为函数表达式。在表示这么一个项的时候，当它的值明显可从上下文得知时，通常省 略它的目上标。我们可以把对象常量当作目为0 的函数常项。例如：f a t h e r O f （J o h n， B i l l），t i m e s （4，p l u s （3，6）），S a m 合式公式 • 原子：一个n