人工智能及应用_ch3_3.pptVIP

基于规则的正向演绎推理 事实表达式的与/或形变换：基于规则的正向演绎推理通常将已知事实化为与/或形，化与/或形的基本步骤如下： 利用规则P→Q??PVQ消去蕴含符号。 利用狄。摩根定律及量词转换律把?移到紧靠谓词，使否定连接词的辖域只含一个谓词。 化为前束范式。 变元标准化。 消去全称量词。 基于规则的正向演绎推理 例：将公式化为与／或形 (?x)(?y)(Q(y,x)Λ?((R(y)VP(y))ΛS(x,y))) 解： (?x)(?y)(Q(y,x)Λ?((R(y)VP(y))ΛS(x,y)))? (?x)(?y)(Q(y,x)Λ(?(R(y)VP(y))V?S(x,y))) ? 　(?x)(?y)(Q(y,x)Λ((?R(y)Λ?P(y))V?S(x,y))) ? (?x)(?y)(Q(y,x)Λ((?R(y)Λ?P(y))V?S(x,y))) ? (?y)(Q(y,a)Λ((?R(y)Λ?P(y))V?S(a,y))) ? Q(y,a)Λ((?R(y)Λ?P(y))V?S(a,y)) 基于规则的正向演绎推理 事实表达式的与/或树：为了推理过程直观将事实表达式的与/或形表示为一棵与/或树。 基于规则的正向演绎推理 与/或树中的结点表示与/或形中的一个子表达式，表达式间的关系规定如下： 表达式E为k个子表达式析取时即E=E1VE2V…V Ek,每个子