人工智能15-15.ppt

第15章 谓词演算 动机 谓词演算语言和它的语法 语义 量化 量词语义学 谓词演算作为一种表示知识的语言 补充读物和讨论 第15章 谓词演算 命题演算有一些局限性。例如不能表达这样的事实：当移动木块B时，说它就是ON_B_C所断言的木快C上的木块。在命题演算中，原子是没有内部结构的串。在关于木块的命题中，ON_A_B和ON_B_C是完全不同的。 一种更有用的语言应该是既能指称在这个世界中的事物（像木块），也能指称有关这个世界的命题。在积木世界中，也许应该有像ON_B_C ? ? CLEAR_C这样的命题，其中，CLEAR_C表示木块C上是空的。要为每个木块都表达这样的事实将需要几个命题公式。假如我们能用On(x,y) ? ? Clear(y)这样简单的陈述就好了，这里x和y是能够指称任何木块的变量。 谓词演算具有一些被称为对象常量（object constant）、关系常量（relation constants）和函数常量（function constants）的符号，以及一些结构。这些语言实体将被用于指称这个世界中的事物和有关这个世界的命题。 15.2 谓词演算语言和它的句法 首先介绍一种受限的谓词演算，后面再介绍完整的谓词演算 一个对象常量的无限集合，它们是字母数字组成的字符串。本书的对象常量用一个大写字母开始或者用一个数字开始。例如：Aa, 125, 13B, Q, John, EiffelTower 一个所有“目（arity）”函数常量的无限集合。它们是字母数字组成的字符串，总是以小写字母开头，并且总是以它们的目作为上标。例如：fatherOf1, distanceBetween2, times2 一个所有目的关系常量的无限集合。这些是以大写字母开头的字母数字组成的字符串，并且以它们的目作为上标（有时称一个关系常量为谓词）。例如：B173, Parent2, Large1, Clear1, X114 15.2 谓词演算语言和它的句法 命题联结词R∧ ∨ ? ? ，还有分割符（、）、[、]和分割符，。 一个对象常量是一个项（term） 一个n目的函数常量，后面跟着处于括号中、由逗号分割的项，是一个词项。这类词项被称为函数表达式。在表示这么一个项的时候，当它的值明显可从上下文得知时，通常省略它的目上标。可以把对象常量当作目为0的函数常项。例如：fatherOf(John, Bill), times(4, plus(3,6)), Sam 合式公式 原子：一个n目的、处于括号中由逗号分隔的n个词项所跟随的关系常量是一个原子（也被称为原子公式，atomic formula）。一个0目的关系常量省略括号。另外，当目上标的值明显可以从上下文得知时，常常把它省略。一个原子是一个合式公式。例如： GreaterThan(7,2), P(A,B,C,D), Q 15.2 谓词演算语言和它的句法 命题合式公式：任何由谓词演算构成的表达式，构造方式与命题演算从别的合式公式构成一个合式公式的方式一样，它是一个合式公式，称为命题合式公式（propositional wff）。 例如： [GreaterThan(7,2) ∧LessThan(15,4)] ∨ ?Brother(John, Sam) ∨P 15.3 语义 世界：像指称命题一样指称在这个世界中的对象 这个世界可以有无限多的对象，也叫做个体（individual）。 个体上的函数。可以有数目无限的多目函数，能映射n元个体到个体。例如：可以由有一个函数映射一个人到他或她的父亲，或者何以有一个函数映射数字10和2到商数5 个体上的关系。个体可以参与任意数目的关系。这些关系中每一个都有目（具有一目的关系被称为一种属性（property））。所以，个体也许会有像“重”、“大”、“蓝”等等这样一些性质，它们也许会参与在如“比……大”等等这样的关系中。要从外延上指明一个n元（n-ary）关系，就要显式地列出所有参与这种关系的n元个体。 15.3.2 解释 对谓词演算中的一个表达式的解释就是一种指派，这种指派把对象常量映射到世界中的对象，把n元函数常项映射到世界中的n元函数，把n元关系常量映射到世界中的n元关系。这些指派被称为它们相应的谓词演算表达式的指称（ denotation）。受对象常量指派的对象的集合被称为这种解释的域。 15.3.3 模型及其相关的概念 有几种语义概念在谓词演算中有与在命题演算中相同的定义： 如果一个合式公式在某种解释下为真，则这个解释就满足这个合式公式。 一个满足一个合式公式的解释就是这个合式公式的模型 任何一个合式公式在所有的解释下都有真值就是永真（valid） 任何没有模型的合式公式是不一致的或不可满足的 如果一个合式公式ω在所有能使每一个在集合△中的合式公