第9章_解释学习.pptVIP

* 高级人工智能-解释学习 史忠植 * PRODIGY的学习 解释过程 如果概念是原语，则不改变返回。 访问识别器，取出规则；获得子概念，特化子概念；重命名变量；置换并简化。 返回。 学习控制规则 由成功概念学到preference rules； 由失败概念学到rejection rules； 由其它选择都失败学到selection rules； 知识表示 领域层公理 构筑层公理 * 高级人工智能-解释学习 史忠植 * 9.6 解释泛化的逻辑程序 工作原理 归结原理：设两个短句C1、C2无公共变量，L1和L2分别是C1和C2的两个文字，若L1和?L2存在一个最一般的合一置换，那么子句（C1-L1) (C2-L2)就是两个子句C1和C2的归结式。 * 高级人工智能-解释学习 史忠植 * Turbo Prolog的合一算法 自由变量可以和任意项合一。合一后该自由变量约束为与之合一的项。 常量可与自身或自由变量合一。 若两个复合项的函子相同且函子所带参量个数一样，则这两个复合项可以合一的条件是：所有子项能对应合一。约束变量要用合一后的约束值替换。 * 高级人工智能-解释学习 史忠植 * 解释泛化的逻辑程序设计 解释 合一算法作为基础，用Prolog谓词来完成 把领域理论用内部数据库的形式存储。 泛化 包括常量用变量代替、新项合成等工作。 解释和泛化交叉进行 * 高级人工智能-解释学习 史忠植 * Prolog简单的元解释器 prolog(Leaf): -clause(Leaf, true). prolog((Goal, Goal2)): - prolog(Goal1), prolog(Goal2). Prolog(Goal): - clause(Goal, Clause), prolog(Clause). * 高级人工智能-解释学习 史忠植 * EBG程序 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), weapon(C). hate(A,A)：-depressed(A). possess(A,C)：-buy(A,C). weapon(Z)：-gun(Z). 训练例：一组事实子句。 depressed(john). buy(john,gun1). gun(gun1). suic