人工智能第五章学案.ppt

第三部分 逻辑表示及推理方法 ;第五章 谓词演算（复习）;一、命题逻辑;2 真值;3 联结词 ～、 ∨、 ∧、 →、 ?;;;;复合命题的抽象 公式的形成规则--是如下定义的一个符号串： (1)原子是公式； (2)F、T是公式； (3)若G，H是公式，则(～ G)，(G?H)， (G?H)，(G?H)，(G?H)是公式； (4)所有公式都是有限次使用(1)，(2)，(3) 得到的符号串。;设G是命题公式,A1,…,An是出现在G中的所有原子。指定A1,…,An的一组真值,则这组真值称为G的一个解释。 设G是公式，I是G的一个解释，G在I下的真值记为TI(G)。 例.G=P?Q，设解释I，I’如下：I： I’：则TI (G)=T，TI’ (G)=F 注意：该例子中写成G=T或G=F是错误的！;;; 例.考虑G1= ～(P→Q) →P，G2=(P →Q) ?P， G3=P ? ～P。;15 判定问题;16 公式等价;6) G?(G?H)=G，G?(G?H)=G； (吸收律) 7) G?(H?S)=(G?H)?(G?S)， G?(H?S)=(G?H)?(G?S)； (