人工智能课件第4章.pptVIP

4. 谓词辖域与约束变元 在一个公式中，如果有量词出现，位于量词后面的单个量词或者用括弧括起来的合式公式称为量词的辖域。在辖域内与量词中同名的变元称为约束变元，不受约束的变元称为自由变元。 3.3.3 谓词公式的永真性与可满足性 1. 谓词公式的解释 定义4.6 设D为谓词公式P的个体域，若对P中的个体常量、函数和谓词按照下列规定赋值： （1）为每个个体常量指派D中的一个元素； （2）为每个n元函数指派一个从Dn到D的映射，其中 Dn＝{(x1,x2,…,xn)| x1,x2,…,xn∈D} （3）为每个n元谓词指派一个从Dn到{F,T}的映射； 则称这些指派为公式P在D上的一个解释。 一般情况下，谓词公式的真值都是针对某一解释而言的。同一个公式可能在一种解释下其真值是T，而在另一种解释下，其真值是F。 2. 谓词公式的永真性 定义4.7 如果谓词公式P，对个体域D上的任何一个解释都取得真值T，则称P在D上是永真的；如果P在每个非空个体域上均永真，则称P永真。 定义4.8 如果谓词公式P，对个体域D上的任何一个解释都取得真值F，则称P在D上是永假的；如果P在每个非空个体域上均永假，则称P永假。 谓词公式的永假性又称为不可满足性或不相容性。 3. 谓词公式的可满足性 定义4.9 对于谓词公式P，如果至少存在一个解释使得公式P在此解释下的真值为T，则称公式P是可满足的。 如果不存在任何解释，使得P的取值为T，则称公式P是不可满足的。 3.3.4 谓词公式的等价性与永真蕴涵 定义4.10 设P和Q是两个谓词公式，D为它们共同的个体域。若对D上的任何一个解释，P与Q的取值都相同，则公式P和Q在域D上是等价的。如果D是任意个体域，则称P和Q是等价的，记做P?Q。 常用的等价式： 交换律 P∧Q? Q∧P P∨Q? Q∨P 结合律 (P∨Q)∨R? P∨(Q∨R) (P∧Q)∧R? P∧(Q∧R) 分配律 P∨(Q∧R)? (P∨Q)∧(P∨R) P∧(Q∨R)? (P∧Q)∨(P∧R) 狄.摩根定律 ～(P∨Q)? ～P∧～Q ～(P∧Q)? ～P∨～Q 否定之否定定律 ～(～ P)? P 吸收律 P∨(P∧Q)? P P∧(P∨Q)? P 补余律 P∨～P? T P∧～P? F 逆否定律 P→Q?～Q→～P 连接词化归律 P→Q?～P∨Q P?Q?(P→Q)∧(Q→P) P?Q?(P∧Q)∨(～P∧～Q) 量词转换律 ～(?x )P? (?x )(～P) ～(?x )P? (?x )(～P) 量词分配律 (?x) (P∧Q)? (?x )P∧(?x )Q (?x) (P∨Q)? (?x )P∨(?x )Q 定义4.11 对于谓词公式P和Q，如果P → Q永真，则称P永真蕴涵Q，且称Q为P的逻辑结论，称P为Q的前提，记作P?Q。 下面是一些常用到的永真蕴涵式： 化简式 P∧Q?P P∧Q?Q 附加式 P?P∨Q Q?P∨Q 析取三段论 ～P，P∨Q?Q 假言推理 P，P → Q?Q 拒取式 ～Q，P → Q?～P 假言三段论 P→Q，Q→R?P→R 二难推论 P∨Q，P→R，Q→R?R 全称固化 (?x) (P (x))?P(y),其中y是个体域上的任一个体，利用此永真蕴涵式可以消去公式中的全称量词 存在固化 (?x) (P (x))?P(y),其中y是个体域中某个使P(y)为真的个体，利用此式可以消去公式中的存在量词 3.3.5 置换与合一 1. 置换 定义4.12 置换是形如{t1/x1, t2/x2,…,tn/xn}的一个有限集。其中，xi是变量，ti是不同于xi的项（常量、变量、函数），且xi≠xj(i ≠j),i,j=1,2,…,n. 例如：{a/x, b/y, f(x)/z}, {f(z)/x, y/z}  2. 合一 定义4.13 设有公式集{E1,E2,…,En}和置换θ，使E