[计算机软件及应用]aai08解释学习 高级人工智能 史忠植.pptVIP

高级人工智能-解释学习 史忠植 第八章 解释学习 内容 8.1 概述 解释学习 解释学习 为什么要用EBL 基本的EBL 解释学习 解释的含义 解释的方法 EBL的效率 8.2 解释学习模型 可操作特性 解释学习的模型 8.3 解释泛化学习方法 EBL方法 例子 SAFE-TO-STACK(OBJ1,OBJ2)解释树 SAFE-TO-STACK(OBJ1,OBJ2)解释的泛化过程 解释与泛化交替进行 8.4 全局取代解释泛化方法 STRIPS的例子 三角表 泛化三角表 EGGS问题描述 泛化过程的形式化描述 EGGS解释泛化算法 8.5 解释特化学习方法 PRODIGY体系结构 PRODIGY的学习 8.6 解释泛化的逻辑程序 Turbo Prolog的合一算法 解释泛化的逻辑程序设计 Prolog简单的元解释器 EBG程序 例子“自杀” suicide(john)的解释结构 目标概念suicide(x)的泛化过程 8.7 基于知识块的SOAR系统 SOAR的体系结构 九宫问题 求解过程 8.8 可操作性标准 PRODIGY的效用 SOAR系统的可操作性 MRS-EBG的可操作性 META-LEX的处理方法 8.9 不完全领域知识下的解释学习 逆归结方法 依赖表例子 解释树生成算法 逆归结算法 基于深层知识方法 基于深层知识方法 解释过程 如果概念是原语，则不改变返回。 访问识别器，取出规则；获得子概念，特化子概念；重命名变量；置换并简化。 返回。 学习控制规则 由成功概念学到preference rules； 由失败概念学到rejection rules； 由其它选择都失败学到selection rules； 知识表示 领域层公理 构筑层公理 工作原理 归结原理：设两个短句C1、C2无公共变量，L1和L2分别是C1和C2的两个文字，若L1和?L2存在一个最一般的合一置换，那么子句（C1-L1) (C2-L2)就是两个子句C1和C2的归结式。 自由变量可以和任意项合一。合一后该自由变量约束为与之合一的项。 常量可与自身或自由变量合一。 若两个复合项的函子相同且函子所带参量个数一样，则这两个复合项可以合一的条件是：所有子项能对应合一。约束变量要用合一后的约束值替换。 解释 合一算法作为基础，用Prolog谓词来完成 把领域理论用内部数据库的形式存储。 泛化 包括常量用变量代替、新项合成等工作。 解释和泛化交叉进行 prolog(Leaf): -clause(Leaf, true). prolog((Goal, Goal2)): - prolog(Goal1), prolog(Goal2). Prolog(Goal): - clause(Goal, Clause), prolog(Clause). prolog_ebg(X_Goal, X_Gen, [X_Goal], [X_Gen]: -clause(X_Goal, true). prolog_ebg((X_Goal, Y_Goal), (X_Gen, Y_Gen), Proof, GenProof):- prolog_ebg(X_Goal, X_Gen, X_Proof, X_GenProof), prolog_ebg(Y_Goal, Y_Gen, Y_Proof, Y_GenProof), concat(X_Proof, Y_Proof, Proof), concat(X_GenProof, Y_GenProof, GenProof). prolog_ebg(X_Goal, X_Gen, [Proof], [GenProof]):- clause(X_Gen, Y_Gen), copy((X_Gen: -Y_Gen), (X_Goal: -Y_Goal)), prolog_ebg(Y_Goal, Y_Gen, Y_Proof, Y_GenProof), concat([X_Goal], [Y_Proof], Proof), concat([X_Gen], [Y_GenProof], GenProof). 目标概念：suicide(x) 领域理论：一组子句或称规则。 suicide(x)：-kill(x,x). kill(A,B)：-hate(A,B), possess(A,C),