人工智能课件-第四章-确定性推理.ppt

 一、合式公式 1、合式公式的定义 合式公式适合于一阶谓词逻辑 遵从以下递归方式定义的逻辑语句称为合式公式 ①单一谓词公式是合式公式； ②若A是合式公式，则?A也是合式公式； ③若A和B都是合式公式，则A∧B、 A∨B、 A?B和A?B也都是合式公式； ④若A是合式公式，x是约束变量，则(?x)A和(?x)A也都是合式公式； ⑤只有按上述规则①-④求得的公式，才是合式公式。 连词优先级别是?，∧、∨，?、?，但可通过括号改变优先级。  一、合式公式 1、合式公式的定义 例2、“所有人(Person)都喜欢(Like)一种游戏(Game)” ①谓词公式 Person(x) Like(x,y) Game(y) ②量词 (?x)Person(x)表示所有人； (?y)Game(y)表示一种游戏； ③合式公式 (?x)(?y)[Person(x)∧Game(y)∧Like(x,y)]  一、合式公式 2、合式公式的解释 命题逻辑——不存在变量 给命题中包含的各个原子公式指派真值（T或F），称这种指派为命题的一个解释； 解释确定后，可依据连接原子公式的连词的作用求出命题的真值（T或F）。 谓词逻辑——涉及变量 不可能直接给原子公式指派真值； ①定义一个拟观察个体的可能论域； ②确定原子公式中变量项和函数项在论域中的取值； ③给原子公式指派真值。 解释确定后，可依据连接原子公式的连词的作用求出合式公式的真值（T或F）。  一、合式公式 2、合式公式的解释 例3、合式公式(?x)(?y)[P(x)?Q(f(x),y)]一个解释的建立。 ①设定论域D={1,2}; x∈D,y∈D ②对于x的每个取值 函数f(x)：f(1)=2,f(2)=2; ③对于x的每个取值 原子公式P(x)：P(1)=T,P(2)=T； ④对于f(x)和y的每个取值组合(只有2个：2、1；2、2) 原子公式Q(f(x),y)：Q(2,1)=T, Q(2,2)=F； 上述指派就确定了该合式公式的一个解释； 在这个解释下，合式公式有真值T；  一、合式公式 3、合式公式的永真性和可满足性 (1)合式公式的永真性 若P在某个论域D上的所有可能的解释都有真值T，则称P在D上是永真的； 若P在每个可能的非空论域D上均永真，则称P是永真的。 (2)合式公式的可满足性 若P在某个论域D上的至少可以建立一个解释，使P有真值T，则称P在D上是可满足的； 若至少有一个非空论域D使P可满足，则称P是可满足的。 (3)合式公式的永假性 若P在某个论域D上的所有可能的解释都有真值F，则称P在D上是永假的； 若P在每个可能的非空论域D上均永假，则称P是永假的。  一、合式公式 3、合式公式的永真性和可满足性 ①论域个数较少，每个论域较小 易判断合式公式的永真性和可满足性； ②论域个数较多，每个论域较大，解释个数有限 永真性和可满足性总是可判断的； ③解释个数无限 不能确保可判断； 不能确保在有限的时间内判断。  一、合式公式 4、合式公式的性质 合式公式优点： 具有强大的形式化表示功能； 合式公式缺点： 包括了多种连词和量词以及它们的嵌套应用，表示形式过于复杂； 不利于演绎推理系统的设计和高效运作。 化简合式公式到某些约定的标准形式是很有意义。 合取范式 析取范式 合式公式的性质则为化简工作提供了依据。  一、合式公式 4、合式公式的性质 十种常用性质 (1)双重否定： ?(?P) ? P (2)蕴涵式转化： P ? Q ? ?P ∨ Q (3)狄.摩根定律： ?(P ∨ Q) ? ? P ∧ ?Q ?(P ∧ Q) ? ? P ∨ ?Q (4)分配律 P ∧ (Q ∨ R) ? (P ∧ Q) ∨ (P ∧ R) P ∨ (Q ∧ R) ? (P ∨ Q) ∧ (P ∨ R) (5)交换律 P ∧ Q ? Q ∧ P P ∨ Q ? Q ∨ P (6)结合律 (P ∧ Q) ∧ R ? P ∧ (Q ∧ R) (P ∨ Q) ∨ R ? P ∨ (Q ∨ R)  一、合式公式 4、合式公式的性质 十种常用性质 (7)逆否律 P ? Q ? ?Q ? ?P (8)量词否定 ?(?x) P(x) ? (?x) (?P(x)) ?(?x) P(x) ? (?x) (?P(x)) (9)量词分配 (?x) [P(x) ∧ Q(x)] ? (?x)P(x) ∧(?x) Q(x) (?x) [P(x) ∨ Q(x)] ? (? x)P(x) ∨(? x) Q(x) (10)约束变量的虚元化 约束变量名的变换不影响合式公式的真值 (?x) P(x) ? (?y) P(y) (?x) P(x) ? (?y) P(y)  一、合式公式 4、合式公式的性质 (9)