人工智能第三章.pptVIP

人工智能第三章;命题;命题逻辑公式;命题表示公式（1）;命题表示公式（2）;２命题公式的解释;公式逻辑真值表;命题逻辑基础;命题逻辑基础;范式：公式的标准型式。;范式的转化;例3.2：求的（（Ｐ∨Ｑ）→Ｒ）→Ｐ合取范式 解： （（Ｐ∨Ｑ）→Ｒ）→Ｐ 　　　＝ （～（Ｐ∨Ｑ）∨Ｒ）→Ｐ 　　　＝ ～ （～（Ｐ∨Ｑ）∨Ｒ）∨Ｐ 　　　＝ （（Ｐ∨Ｑ）∧～Ｒ）∨Ｐ 　　　＝（Ｐ∨Ｑ∨Ｐ）∧（～Ｒ∨Ｐ） 　　　 ＝（Ｐ∨Ｑ）∧（～Ｒ∨Ｐ）;命题逻辑的推理规则（自然演绎推理）;常用的推理规则： 　（１）前提引入规则 　（２）结论引入规则 　（３）置换规则：等价的可以置换 例３.4：证明：如果今天是下雨天，则要带伞或带雨衣。如果走路上班，则不带雨衣。今天下雨，走路上班，所以带雨伞。 解：把题目用命题公式表示： 　　今天下雨p，　带伞q，　带雨衣r，　走路上班s 　　前提： p→（q ∨r）， s →～r， p， s 　　要证的结论： q 　　证明： ①p→（q ∨r）② p　　　前提引入 　　　　　③（q ∨r）　　　　　假言推理 　　　　　 ④ s 　⑤s →～r　　前提引入 　　　　　⑥～ r　　　　　　假言推理 　　　　　⑦ q　　　　　　析取三段论;命题逻辑的归结法;例：前提： p→（~（r∨s）→q)， p， ~s 　　要证的结论： q 　　证明： ① p→（~（r∨s）→q) ② p　　　前提引入 　　　　　③ ~（r∨s）→q 　　　　　假言推理 　　　　　 ④ ~q 　 引入否定结论 ⑤ （r∨s） 　　拒取式 　　　　　⑥～ s　　　　　　前提引入 　　　　　⑦ s　　　　　　简化⑤ ⑧～ s ∧s ⑥ ⑦合取 永假矛盾。;归结原理由由1965年提出。 与演绎法(deductive inference)完全不同，新的逻辑演算(inductive inference)算法。 一阶逻辑中，至今为止的最有效的半可判定的算法。即，一阶逻辑中任意恒真公式，使用归结原理，总可以在有限步内给以判定。 语义网络、框架表示、产生式规则等等都是以推理方法为前提的。即，有了规则已知条件，顺藤摸瓜找到结果。 而归结方法是自动推理、自动推导证明用的。（“数学定理机器证明”） ;命题逻辑的归结法;归结式 设C1, C2是子句集中的两个子句，如果C1中的文字L1与 C2中文字L2互补，则可以从C1和 C2中分别消去文字L1 和文字L2，并将中余下的部分按析取关系构成一个新 子句C12，这个过程就叫归结。 如子句：C1=P∨Q, C2=~P∨W ， 归结式： C12 = W∨Q ? 性质：归结式 C12 是亲本子句C1和 C2逻辑结论。 C1ΛC2 → C12 ，注意：反之不一定成立。 ;命题逻辑的归结法;命题逻辑归结例题（1）;命题逻辑归结例题（2）;3.2谓词归结原理基础;谓词归结原理基础;谓词归结原理基础;例如：（1）所有的人都是要死的。 （2） 有的人活到一百岁以上。 在个体域D为人类集合时，可符号化为： （1）?xP(x)，其中P(x)表示x是要死的。 （2）?x Q(x), 其中Q(x)表示x活到一百岁以上。 在个体域D是全总个体域时， 引入特殊谓词R(x)表示x是人，可符号化为： （1）?x（R(x) → P(x)）, 其中，R(x)表示x是人；P(x)表示x是要死的。 （2）?x（R(x) ∧ Q(x)）， 其中，R(x)表示x是人；Q(x)表示x活到一百岁以上。 ;一阶谓词逻辑;替换规则：对某个自由变量用与原公式中所有个体变量 符号不同的变量去替代，且处处替代。 ?xP(x,y)∧R(x,y)替换?xP(x,z)∧R(x,z) 2.谓词公式的解释 对谓词公式的各变量常量去替代，就构成了一个谓词 公式的解释。 当存在解释能使谓词公式为真时，则称这个解释满足谓词公式。 这个解释就是这个谓词公式的模型。 两个谓词公式等价，当且仅当所有的解释下两个谓词公式的值是相同的。 永真式 不可满足式 归结原理就是对谓词公式的正确性证明转化为不可满足性证明。;谓词演算与推理;约束变量换名规则： 　　　　(Qx)P(x) = (Qy)P(y) 　(Qx)P(x,z) = (Qy)P(y,z) 量词辖域收缩与扩张等值式： (? x ）( P（x） ∨ Q) = (? x ） P（x） ∨ Q (? x ）( P（x） Λ Q) = (? x ） P（x） Λ Q