人工智能人工智能知识的表示第一节资料.ppt

* * * * * * * * * * 3、谓词公式 注意：蕴含与汉语中的“如果…,则…”有区别，汉语中 前后要有关系，而命题中毫无关系。例：如果“太阳从西边 出来”，则“雪是白的”，是一个真值为T的命题。 V. 称为“等价（Equivalence）或双条件 （Bicondition）” 表示“P当且仅当Q”。 例如，“我在中国，当且仅当我的头在中国”。 只有P和Q的真值情况相同时，等价的真值才为T。 * 3、谓词公式 谓词公式的语义定义如下： （1）?P为真，当且仅当P为假； （2） P∨Q为真，当且仅当P为真，或Q为真，或P和Q均 为真； （3）P ^Q为真，当且仅当P和Q均为真； （4）P→Q为真，当且仅当P和Q均为真、或P为假，Q为真、 或P为假，Q为假； （5） 为真，当且仅当P→Q为真，并且Q→P为真。 * 3、谓词公式 表1. 谓词逻辑真值表 如果后项取T（不管前项取值如何），或者说前向取F（不管后项取值如何），则蕴含取值为T，否则为F。 注意：只有前项为真，后项为假时，蕴含才为假，其余为真。 * 3、谓词公式 （b）量词（quantifier） I.” “，称为“全称量词（Universal quantifier）表 示“对个体域中的所有（任意一个）个体x” 如“所有的机器人都是灰色的”表示为 如”所有的车工都操作车床“表示为 * 3、谓词公式 （b）量词（quantifier） II.” “，称为“存在量词（Existential quantifier）表 示“对个体域中的存在个体x” 如“1号房间有个物体”表示为 如”某个工程师操作车床“表示为 ？ * 3、谓词公式 当全称量词和存在量词出现在同一个命题中，量词出现的 次序将影响命题的意思。 表示”每个雇员都有一个经理。“ 表示’“有一个人（经理）是所有雇员的经理。” * 3、谓词公式 全称量词和存在量词可以出现在同一个命题中。设 谓词P（x）表示x是正数，F（x，y）表示x与y是朋友。 表示个体域中的所有个体x都是正数。 表示对于个体域中任何个体x，都存在个体 y，x与y是朋友。 表示个体域中存在个体x，与个体域中的任 何个体y都是朋友。 表示个体域中存在个体x与个体y，x与y是朋 友。 表示个体域中任何两个个体x和y，x和y都是 朋友。 * 3、谓词公式 （c）量词的辖域 位于量词后面的单个谓词或者用括号括起来的谓词公式 称为量词的辖域，辖域中与量词同名的变元称为约束变元， 不受约束的变元称为自由变元。 例如 其中， 是 的辖域，辖域内的变 元x是受 约束的变元，而 中的x是自由变元，公 式中所有的y都是自由变元。 * 3、谓词公式 （c）量词的辖域 在谓词公式中，变元的名字是无关重要的，可以把一个 名字换成另一个，但必须注意，对于辖域内，必须把同名的 变元改成统一，且不能与辖域内的自由变元同名。同理，当 改辖域内的自由变元时，也不能改为与约束变元同名。 例如： 对于公式 ，可改名为 这里，把约束变元x改成了z，把自由变元y改成了t。 * 4、谓词的知识表示练习 用谓词表示知识的一般步骤为： （1）定义谓词及个体，确定每个谓词及个体的确切定义； （2）根据要表达的事物或概念，为谓词中的变元赋以特定 的值； （3）根据语义用适当的连接符号将各个谓词连接起来，形 成谓词公式。 * 4、谓词的知识表示练习 指出下列谓词公式的辖域，并指出哪些是约束变元，哪 些是自由变元： （I） （II） （III） （IV） go go go go next * 4、谓词的知识表示练习 的辖域为