人工智能03.pptVIP

安徽大学 计算机科学与技术学院 人工智能 主讲: 李龙澍 EMail:lilongshu@126.com 第二章 知识表示与推理 2.1 知识表示的一般方法 2.2 图搜索策略 2.3 一般搜索与推理技术 2.4 A*算法 2.5 消解原理 2.6 规则演义系统 2.7 产生式系统 2.8 系统组织技术 2.5 消解原理 回顾： 原子公式（atomic formulas） P(x), Q(x,y) 文字—一个原子公式及其否定。 ～P(x), R(x,y,z) 子句—由文字的析取组成的合适公式。 P(x)∨~Q(x,y) 消解—对谓词演算公式进行分解和化简，消去一些符号，以求得导出子句。 例子: 将下列谓词演算公式化为一个子句集 (?x){ P(x)? {(?y)[P(y)?P(f(x,y))]∧～(?y)[Q(x,y)?P(y)]} } (2) 减少否定符号的辖域 每个否定符号～最多只用到一个谓词符号上，并反复应用狄·摩根定律。 (3) 对变量标准化 对哑元（虚构变量）改名，以保证每个量词有其自己唯一的哑元。 (4) 消去存在量词 以Skolem函数代替存在量词内的约束变量，然后消去存在量词。 在全称量词辖域内的存在量词，它是依赖于全称量词的函数，这个函数称为Skolem函数。 例如：任给一个整数x，存在一个比x大的整数y。 y=f(x) 化为前束形 把所有全称量词移到公式的左边，并使每个量词的辖域包括这个量词后面公式的整个部分。 前束形= {前缀} {母式} 全称量词串 无量词公式 把母式化为合取范式 任何母式都可写成由一些谓词公式和(或)谓词公式的否定的析取的有限集组成的合取。 (7) 消去全称量词 所有余下的量词均被全称量词量化了。消去前缀，即消去明显出现的全称量词。 (8) 消去连词符号∧ 用{A,B}代替(A∧B)，消去符号∧。最后得到一个有限集，其中每个公式是文字的析取。 (9) 更换变量名称 可以更换变量符号的名称，使一个变量符号不出现在一个以上的子句中。 2.5.2 消解推理规则 消解式的定义令L1，L2为两任意原子公式；L1和L2具有相同的谓词符号，但一般具有不同的变量。已知两子句L1∨α和～L2∨β,如果L1和L2具有最一般合一σ，那么通过消解可以从这两个父辈子句推导出一个新子句(α∨β)σ。这个新子句叫做消解式。 2.5.2 消解推理规则 L1和L2具有最一般合一σ： L1 =P(x)， L2 =P(y)，那么={x/y} L1 =P(x,y)， L2 =P(a,b)，那么={a/x, b/y} L1 =P(x,a)， L2 =P(b,t)，那么={b/x, a/t} L1 =P(x,y,f(z))， L2 =P(g(a),b,t)， 那么={g(a)/x, b/y,f(z)/t} 2.5.2 消解推理规则 2.5.5 含状态项的回答语句的求取 猴子和香蕉问题 2.5.5 含状态项的回答语句的求取 2.5.5 含状态项的回答语句的求取 2.5.5 含状态项的回答语句的求取 2.5.5 含状态项的回答语句的求取 实验2 子句消解实验 一、实验目的： 理解含有变量的子句如何使用消解规则，掌握子句消解的原理和规则，能熟练进行任意两个子句的消解，了解消解推理的某些常用规则。 ? 二、实验原理： 对子句集进行消解推理，得到相应的结论。为了对含有变量的子句使用消解规则，我们必须找到一个置换，作用于父辈子句使其含有互补文字。消解两个子句时，可能有一个以上的消解式 。 三、实验条件 ??????? 硬件：微型计算机。 任选一种流行语言。 实验2 子句消解实验 四、实验内容： ??????? 编写消解程序。 ??????? 输入子句，检查消解结果。 ???????? 根据消解过程理解消解原理和常用规则。 ? 五、实验步骤(2-3人一组)： 1.?语法分析程序，产生文字集合； 2.?两个文字集合进行消解，结果为新的文字集合； 3.? 用户界面设计； 4.? 分析消解过程，写消解实验报告。（每人） ~HB(S5) ∨ HB(S5) ~ONBOX(S3)∨~AT(box,c,S3)∨HB(grasp(S3)) HB(grasp(S3))∨~ONBOX(S3)∨~AT(box,c,S3) {grasp(S3)/S5} O