谓词习题.pptVIP

中南大学 智能系统与智能软件研究所 1、东东和小明是好朋友 2、陈老师在1号房间 3、x的父亲和母亲结婚 4、这两个量是相关的 没有人长着绿色的头发或红色的牙齿 有的广州市民没有去过白云山 每一个自然数都是整数。 汞既是液体又是金属，说明并非所有的液体都是非金属。 A computer system is intelligent if it can perform a task which, is performed by a human, requires intelligence. 练习: 1. 设个体域是人类，试将下列语句译为谓词公式： （1）有人勇敢，但不是所有的人都勇敢。 （2）人人都不相互依靠，但互相帮助。 （3）我为人人，人人为我。 （4）每个人都有人爱，但没有人为所有人爱。 （5）勇敢者未必都是成功者。 （1）有人勇敢，但不是所有的人都勇敢。 用B x 表示“x勇敢”，它译为?xB x ∧??xB x （2）人人都不相互依靠，但互相帮助。 用R x，y 表示“x依靠y”，H x，y 表示“x帮助y”，它译为 ?x?y?R x，y ∧?x?yH x，y （3）我为人人，人人为我。 用i表示“我”，S x，y 表示“x为y服务”，它可译为 ?xS i，x ∧?xS x，i （4）每个人都有人爱，但没有人为所有人爱。 用L x，y 表示“x爱y”，它可译为 ?x?yL y，x ∧??y?xL x，y （5）勇敢者未必都是成功者。 用B x 表示“x勇敢”，W x 表示“x是成功者”，它可译为 ??x B x →W x 或 ?x B x ∧?W X 2. 在全体域上将下列语句用谓词化： （1）没有不犯错误的人。 （2）凡是实数，或者大于零，或者等于零，或者小于零。 （3）实数的加运算满足交换律。 （4）每人都有自己喜欢的水果，有人喜欢所有的水果。 （5）一个数是偶数当且仅当它可被2整除。 1、储蓄问题 前提：每个储蓄钱的人都获得利息。 结论：如果没有利息，那么就没有人去储蓄钱 二、归结证明及求解 结论的否定为： ?[? ?z I z ]? ?x ?y [M y ??S x,y ] 化为子句形： ?[ ?z I z ? ?x ?y [?M y ??S x,y ] ?z ?I z ? ?x ?y [M y ?S x,y ] 得三个子句： ?I z M a S a,b 2、如果无论约翰 John 在哪里，菲多 Fido 也就去哪里。那么如果约翰在学校里，菲多在哪里？ 前提： ?x [AT JOHN,x ?AT FIDO,x ]和 AT JOHN,SCHOOL 问题： ?x AT FIDO,x Friend DongDong , XiaoMing 谓词符号 常量符号 常量符号 一、谓词演算表示法 INROOM Teacher Chen , Room1 谓词符号 常量符号 常量符号 Married Mother x , Father x 谓词符号 函数符号 函数符号 Relative x , y 谓词符号 变量符号 变量符号 ? ?m [ has m, green hair ? has m , red teeth ] 或 某人有绿色的头发 某人有红色的牙齿 ?m ? has m, green hair ? ? has m , red teeth 某人没有绿色的头发 某人没有红色的牙齿 ?c ? been [ GZ c , bai yun moutain ] 或 广州市民c没有去过白云山 ? ?c been [ GZ c , bai yun moutain ] 广州市民c去过白云山 ?x N x ?Z x 或 x是自然数 ? ?x N x ? ? Z x x既是自然数，又非整数 x是整数 [ M Hg ? L Hg ]? ? [ ?x L x ? ? M x ] 或 Hg既是金属，又是液体 [ M Hg ? L Hg ] ? ?x [ L x ? M x x既是金属，又是液体 x是液体，则它不是金属 或 ?x ?y p [ C x , y ] ? r y , HI ? I x Computer x perform y y requires human intelligence x is intelligent ?x ?y p [ C x , y ] ? r y , HI