第二章知识表示方法要点分析.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. 语法和语义 基本符号 谓词符号、变量符号、函数符号、 常量符号、括号和逗号 原子公式 * 2.3 谓词逻辑法1 原子公式(atomic formulas)由若干谓词符号和项组成的谓词演算。 原子公式是谓词演算基本积木块。 机器人(ROBOT)在１号房间(r1)内的原子公式： * 2.3 谓词逻辑法2 “李的母亲和他的父亲结婚”这句话的原子公式表示如下： * 连词和量词(Connective Quantifiers) 连词 与及合取（conjunction) 或及析取（disjunction） 蕴涵（Implication） 非（Not） 量词 全称量词（Universal Quantifiers) 存在量词 (Existential Quantifiers) 2.3 谓词逻辑法 * 2.3 谓词逻辑法 连词 　　与·合取（conjunction）:　合取就是用连词∧把几个 公式连接起来而构成的公式。 (我喜爱音乐和绘画。) LIKE(I，MUSIC)∧LIKE(I，PAINTING) (我喜爱音乐和绘画。) * 或·析取（disjunction）:析取就是用连词∨把几个公式 连接起来而构成的公式。  PLAYS(LILI，BASKETBALL)∨PLAYS(LILI，FOOTBALL) (李力打篮球或踢足球。) (李力打篮球或踢足球。) * 蕴涵　=表示如果-那么的语句 RUNS(LIUHUA，FASTEST) WINS(LIUHUA，CHAMPION) (如果刘华跑得最快，那么他取得冠军) * 非（NOT） 表示否定，～、┑均可表示。 ～INROOM(ROBOT，r2) (机器人不在2号房间内。) * (2) 量词  全称量词(Universal Quantifier)　若一个原子公式P(x)， 对于所有可能变量x都具有T值，则用( ?x)P(x)表示。 (所有的机器人都是灰色的） ( ???x)[Student(x) = Uniform(x,Color)] (所有学生都穿彩色制服) ( ?x)[ROBOT(x) = COLOR(x,GRAY)] (所有的机器人都是灰色的） ( ???x)[Student(x) = Uniform(x,Color)] (所有学生都穿彩色制服) * 存在量词(Existential Quantifier) 若一个原子公式P(x)，至少有一个变元X， 可使P(X)为T值，则用( ??x)P(x)表示。 ( ??x)INROOM(x,r1) (1号房间内有个物体) * 2.3.2 谓词公式 原子公式的的定义： 用P(x1，x2，…，xn)表示一个n元谓词公式，其中P为n元谓词，x1,x2,…，xn为客体变量或变元。通常把P(x1,x2,…,xn)叫做谓词演算的原子公式，或原子谓词公式。 分子谓词公式 可以用连词把原子谓词公式组成复合谓词公式，并把它叫做分子谓词公式。 2.3 谓词逻辑法 * 合适公式（WFF，well-formed formulas） 合适公式的递归定义 合适公式的性质 合适公式的真值 等价（Equivalence) 2.3