知识表示方法.pptVIP

知 识 就 是 力 量 F.Bacon(1561—1626) 英国哲学和自然科学家 归纳法的创立者“培根”;第2章 知识表示;2.1 知识与知识表示的概念;2.1.1 知识的概念;2.1.1 知识的概念;2.1.1 知识的概念;2.1.1 知识的概念;2.1.2 知识表示的概念;2.1.2 知识表示的概念;第2章 知识表示;2.2 一阶谓词逻辑表示方法;2.2.1 一阶谓词逻辑表示的逻辑基础;2.2.1 一阶谓词逻辑表示的逻辑基础;2.2.1 一阶谓词逻辑表示的逻辑基础;2.2.1 一阶谓词逻辑表示的逻辑基础;2.2.1 一阶谓词逻辑表示的逻辑基础;2.2.1 一阶谓词逻辑表示的逻辑基础;2.2.1一阶谓词逻辑表示的逻辑基础;2.2.1一阶谓词逻辑表示的逻辑基础;2.2.1一阶谓词逻辑表示的逻辑基础;2.2.1一阶谓词逻辑表示的逻辑基础;2.2.1一阶谓词逻辑表示的逻辑基础;例2.1 设变元x和y的个体域是D={1，2}，谓词P（x，y）表示x大于等于y，给出公式A=( )( )P(x,y)在D上的解释，并指出在每一种解释下公式A的真值。 ;解 由于在公式A中没有包括个体常量和函数，所以可由谓词P（x,y）的定义得出谓词的真值指派。 设对谓词P（x,y）在个体域D上的真值指派为： P(1,1)=T，P(1,2)=F，P(2,1)=T，P(2,2)=T 这就是公式A在D上的一个解释。 在此解释下，因为x=1时有y=1使P(x,y)的真值为T， x=2时也有y=1使P(x,y)的真值为T， 即x对于D中的所有取值，都存在y=1，使P(x,y)的真值为T，所以在此解释下公式A的真值为T。 ;谓词公式的永真性、可满足性、不可满足性 定义2.7 如果谓词公式P对个体域D上的任何一个解释都取得真值T，则称公式P在域D上是永真的。如果P在每个非空个体域上均永真，则称P是永真的。 ;定义2.8 对于谓词公式P，如果至少存在一个解释使得公式P在此解释下的真值为T，则称公式P是可满足的。 ; 谓词公式的等价性 定义2.10 设P与Q是两个谓词公式，D是它们共同的个体域，若对D上的任何一个解释，P与Q都有相同的真值，则称公式P和Q在D上是等价的。如果D是任意的个体域，则称P和Q是等价的。记为P Q。 ;主要的等价式 （1）交换律 P∨Q Q∨P P∧Q Q∧P （2）结合律 (P∨Q)∨R P∨(Q∨R) (P∧Q)∧R P∧(Q∧R);（3）分配律 P∨(Q∧R) (P∨Q)∧(P∨R) P∧(Q∨R) (P∧Q)∨(P∧R) （4）狄·??根律 ﹁(P∨Q) ﹁P∧﹁Q ﹁(P∧Q) ﹁P∨﹁Q; （5）双重否定律 ﹁ ﹁ P P （6）吸收律 P∨(P∧Q) P P∧(P∨Q) P;（7）补余律 P ∨ ﹁ P T P ∧ ﹁ P F （8）连词化归律 P→Q ﹁P∨Q T T T T F F T F T T F T T T F F ; （9）量词转换律 ﹁（ ）P ( ) (﹁P) ﹁（ ）P ( ) (﹁P) （10）量词分配律 ( )(P∧Q) ( )P∧( )Q ( )(P∨Q) ( )P∨( )Q;谓词公式的永真蕴含 定义2.11 对于谓词公式P和Q，如果P→Q永真，则称P永真蕴含Q，且称Q为P的逻辑结论，称P为Q的前提，记为P Q。 ; 推理规则、定理与证明 上面列出的等价式和永真蕴含式又称为推理规则。 推理规则用来由已知的合式公式推导出新的合式公式。在谓词逻辑中，导出的合式公式称为定理 而所使用的推理规则的序列则构成该定理的一个证明。; 谓词逻辑中还有如下的一些推理规则。 （1）P规则