第四章 不确定性推理l.pptVIP

练习题 1. 用一个语义网络表示： 练习题 2. 用谓词逻辑表示句子： 有个理发师为城中所有不为自己理发的人理发。 练习题 2. 用谓词逻辑表示句子： 有个理发师为城中所有不为自己理发的人理发。 解：定义谓词 B(x): x是理发师 P(x): x是人 S(x, y): x为y理发 (?x)(B(x)?(?y)(P(y)?﹁S(y, y)→S(x, y)) 练习题 3. 把下列谓词公式化成子句集： (?x){P(x)→(?y)[(?z)Q(x,y)→﹁(?z)R(y, x)]} 练习题 3. 把下列谓词公式化成子句集： (?x){P(x)→(?y)[(?z)Q(x, y)→﹁(?z)R(y, x)]} (?x){﹁P(x)?(?y)[﹁(?z)Q(x, y)?﹁(?z)R(y, x)]} (?x){﹁P(x)?(?y)[(?z)﹁Q(x, y)?(?z)﹁R(y, x)]} (?x){﹁P(x)?(?y)[(?z)﹁Q(x, y)?(?u)﹁R(y, x)]} (?x){﹁P(x)?(?y)[﹁Q(x, y)?﹁R(y, x)]} (?x)(?y){﹁P(x)?﹁Q(x, y)?﹁R(y, x)} ﹁P(x)?﹁Q(x, y)?﹁R(y, x) S = {﹁P(x)?﹁Q(x, y)?﹁R(y, x)} 练习题 4. 已知： （1）海关职员检查每一个入境的不重要人物。 （2）某些贩毒者入境，而且受到贩毒者的检查。 （3）没有一个贩毒者是重要人物。 证明：海关职员中有贩毒者。 练习题 4. 定义谓词： E(x): x是入境者 V(x): x是重要人物 S(x, y): x被y检查 C(x): x是海关职员 P(x): x是贩毒者 将题目中的句子转化为下述谓词公式。 F1: (?x){E(x)?﹁V(x) → (?y)(C(y)?S(x, y)} F2: (?x){P(x)?E(x)?(?y)(S(x, y) → P(y))} F3: (?x){P(x)→﹁V(x)} G: (?x){P(x)?C(x)} 归结过程略。 谢 谢 ! * * L/O/G/O 汽车 我的汽车 李华的汽车 红色 黄色 ISA ISA 颜色 颜色 * * *