人工智能课件212谓词逻辑表示法.pptVIP

中国矿业大学计算机学院 人工智能 中华民族有着五千多年的文明历史，中华民族在世界上是一个非常卓越和伟大的民族。我们有过繁荣昌盛的唐朝，有过强盛无比疆域辽阔的汉朝和元朝，更有灿烂美丽的唐、宋文化 * 2.2 谓词逻辑表示法 第2章 知识表示 2.1 概 述 * * 中国矿业大学计算机学院 2.2 谓词逻辑表示法 谓词逻辑表示法是一种重要的知识表示方法,是到目前为止能够表示人类思维活动规律的一种最精确的形式语言,是知识的形式化表示、定理的自动证明等研究的基础，在人工智能中具有重要的作用。 * * 中国矿业大学计算机学院 2.2.1 命题逻辑 1.命题的含义： 在逻辑系统中，最简单的逻辑系统是命题逻辑。所谓命题就是具有真假意义的陈述句。如“今天下雨”、“雪是黑的”、“1+100=101”、“人是会死的”等等。这些句子在特殊的情况下都具有 “真 (Ture)”和 “假（False)”的意义，都是命题。 一个命题总是具有一个值，称为真值。真值只有“真”和“假”两种，一般分别用符号T和F表示。 * * 中国矿业大学计算机学院 命题有两种类型： （1）原子命题：不能分解成更简单的陈述语句，称为原子命题。 （2）复合命题：由连接词、标点符号和原子命题等复合构成的命题，称为复合命题。 2.命题类型： 注意：所有这些命题都应具有确定的真值。 * * 中国矿业大学计算机学院 所谓命题逻辑就是研究命题和命题之间关系的符号逻辑系统。通常用大写字母P、Q、R、S等来表示命题。如： P：今天下雨 P就是表示 “今天下雨”这个命题的名。表示命题的符号称为命题标识符，P就是命题标识符。 3.命题逻辑 * * 中国矿业大学计算机学院 命题常量：如果一个命题标识符表示确定的命题，就称为命题常量。 命题变元：如果命题标识符只表示任意命题的位置标志，就称为命题变元。 介绍几个概念 * * 中国矿业大学计算机学院 注意： （1）因为命题变元可以表示任意命题，所以它不能确定真值，故命题变元不是命题。 （2）当命题变元P用一个特定的命题取代时，P才能确定真值，这时也称为对P进行指派。 （3）当命题变元表示原子命题时，该变元称为原子变元。 * * 中国矿业大学计算机学院 谓词逻辑：根据对象和对象上的谓词（即对象的属性和对象之间的关系），通过使用连接词和量词来表示世界。 谓词逻辑 主要思想：世界是由对象组成的，可以由标识符和属性来区分它们。在这些对象中，还包含着相互的关系。 * * 中国矿业大学计算机学院 在命题逻辑中，每个表达式都是句子，表示事实。 在谓词逻辑中，有句子，但是也有项，表示对象。常量符号、变量和函数符号用于表示项，量词和谓词符号用于构造句子。 注意: * * 中国矿业大学计算机学院 4.语法 命题逻辑的符号包括以下几种： （1）命题常元：True(T)和False(F)； （2）命题符号：P、Q、R、T等； （3）连接词： ① ?； ②∧；③∨； ④ →； ⑤ 。 （4）括号：( )。 命题逻辑主要使用这5个连接词，通过这些连接词，可以由简单的命题构成复杂的复合命题。 * * 中国矿业大学计算机学院 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” * * 中国矿业大学计算机学院 注意:可以用真值表的方法表明连接词的功能: P Q ?P P∧Q P∨Q P→Q P?Q F F T F F T T F T T F T T F T F F F T F F T T F T T T T * * 中国矿业大学计算机学院 2.2.2 谓词逻辑 ·一阶谓词演算 标点符号、括号、逻辑连接词、常量符号集、变量符号集、n元函数符号集、n元谓词符号集、量词 ·谓词演算 合法表达式 (原子公式、合式公式)，表达式的演算化简方法，标准式 (合取的前束范式或析取的前束范式) 1 语 法 * * 中国矿业大学计算机学院 ·语法元素 常量符号。 变量符号。 函数符号。 谓词符号。 连接词： ┐、∧