2.2--谓词逻辑表示法.ppt

2.2 谓词逻辑表示法 谓词逻辑表示法是一种重要的知识表示方法,是到目前为止能够表示人类思维活动规律的一种最精确的形式语言,是知识的形式化表示、定理的自动证明等研究的基础，在人工智能中具有重要的作用。 2.2.1 命题逻辑 命题有两种类型： （1）原子命题：不能分解成更简单的陈述语句，称为原子命题。 （2）复合命题：由联结词、标点符号和原子命题等复合构成的命题，称为复合命题。 所谓命题逻辑就是研究命题和命题之间关系的符号逻辑系统。通常用大写字母P、Q、R、S等来表示命题。如： P：今天下雨 P就是表示 “今天下雨”这个命题的名。表示命题的符号称为命题标识符，P就是命题标识符。 命题常量：如果一个命题标识符表示确定的命题，就称为命题常量。 命题变元：如果命题标识符只表示任意命题的位置标志，就称为命题变元。 注意： （1）因为命题变元可以表示任意命题，所以它不能确定真值，故命题变元不是命题。 （2）当命题变元P用一个特定的命题取代时，P才能确定真值，这时也称为对P进行指派。 （3）当命题变元表示原子命题时，该变元称为原子变元。 谓词逻辑：根据对象和对象上的谓词（即对象的属性和对象之间的关系），通过使用连接词和量词来表示世界。 在命题逻辑中，每个表达式都是句子，表示事实。 在谓词逻辑中，有句子，但是也有项，表示对象。常量符号、变量和函数符号用于表示项，量词和谓词符号用于构造句子。 4.语法 命题逻辑的符号包括以下几种： （1）命题常元：True(T)和False(F)； （2）命题符号：P、Q、R、T等； （3）联结词： ① ?； ②∧；③∨； ④ →； ⑤ 。 （4）括号：( )。 5.语义 ?: 否定(Negation),复合命题?Q表示否定Q的真值的命题,即“非Q” ②∧: 合取(Conjunction),复合命题P∧Q表示P和Q的合取,即“P与Q” ③∨: 析取(Disjunction),复合命题P∨Q表示P或Q的析取,即“P或Q” 5.语义 ④ →: 条件(Condition),复合命题P→Q表示命题P是命题Q的条件,即“如果P,那么Q” ⑤ ?: 双条件(Bicondition),复合命题P?Q表示命题P、命题Q相互作为条件,即“如果P,那么Q；如果Q,那么P” 注意:可以用真值表的方法表明联结词的功能: 2.2.2 谓词逻辑 ·一阶谓词演算 标点符号、括号、逻辑联结词、常量符号集、变量符号集、n元函数符号集、n元谓词符号集、量词 ·谓词演算 合法表达式 (原子公式、合式公式)，表达式的演算化简方法，标准式 (合取的前束范式或析取的前束范式) ·语法元素 常量符号。 变量符号。 函数符号。 谓词符号。 联结词： ┐、∧、∨、→、 。 量词： 全称量词?、 存在量词?。?和?后面跟着的x叫做量词的指导变元。 ·若函数符号f中包含的个体数目为n,则称f为n元函数符号。 若谓词符号P中包含的个体数目为n,则称P为n元谓词符号。 如：father(x)是一元函数,less(x,y)是二元谓词. 一般一元谓词表达了个体的性质,而多元谓词表达了个体之间的关系. 如果谓词P中的所有个体都是个体常量、变元、或函数，则该谓词为一阶谓词。 如果谓词P中某个个体本身又是一个一阶谓词，则称P为二阶谓词。 余者类推。 个体变元的取值范围称为个体域。个体域可以是无限的，也可以是无限的。把各种个体域综合在一起作为讨论的范围的域称为全总个体域。 3 项与公式 在一阶谓词逻辑中，称Teacher(father(Wang))中的father(Wang)为项,项可定义如下: 定义：项可递归定义如下： (1)单独一个个体是项 (包括常量和变量)。 (2)若f是n元函数符号，而t1,…,tn是项，则f(t1,…,tn)是项。 (3)任何项仅由规则(1)(2)所生成。 原子公式 若P为n元谓词符号,t1,…,tn都是项，则称P(t1,…,tn)为原子公式，简称原子。 在原子中，若t1,…,tn都不含变量，则P(t1,…,tn)是命题。 一阶谓词逻辑的合式公式（可简称公式）可递归定义如下： (1)原子谓词公式是合式公式 (也称为原子公式)。 (2)若P、Q是合式公式，则(┐P)、(P∧Q)、(P∨Q)、(P→Q)、(P←→ Q)也是合式公式。 (3)若P是合式公式，x是任一个体变元，则 (?x)P、（?x)P也是合式公式。 (4)任何合式公式都由有限次应用(1)、(2)、(3)来产生。 一阶谓词逻辑公式的解释： 设D