第二章知识表示方法研讨.pptVIP

* 作业 1. 八数码难题，请画出八数码状态空间图 初始状态 目标状态 2. 书上作业 2.2 * 3. 书上2-7 4. 为谓词演算法实现如下语句： 软件学院的男同学和女同学都不喜欢考试 * 2.一些关于与或图的术语 2.2 问题规约法 H M B C D E F G A N 父节点 与节点 弧线 或节点 子节点 终叶节点 终叶节点：对应于原问题的本原节点。　　或节点：只要解决某个问题就可解决其父辈问题的节点集合，如（M，N，H）。　　与节点：只有解决所有子问题，才能解决其父辈问题的节点集合，如（B,C)和 （D,E,F）各个结点之间用一端小圆弧连接标记 * 3.定义 2.2 问题规约法 与或图例子 t t t t t t t t t （a） （b） 有解节点 无解节点 终叶节点 * 不可解节点的一般定义 没有后裔的非终叶节点为不可解节点。 全部后裔为不可解的非终叶节点且含有或后继节点，此非终叶节点才是不可解的。 后裔至少有一个为不可解的非终叶节点且含有与后继节点，此非终叶节点才是不可解的。 与或图构成规则 2.2 问题规约法 * 梵塔问题归约图（与或图） * 2.3 谓词逻辑法 逻辑语句 形式语言 2.3.1 谓词演算 1. 语法和语义 基本符号 谓词符号、变量符号、函数符号、 常量符号、括号和逗号