Prolog-EBG的运行举例 Prolog-EBG对每个还没有被某个Homn子 句覆盖的正例,通过下列步骤生成一新 HOrn子句 解释新的正例 分析该解释以确定一合适的泛化 通过加入一新的Homn子句以覆盖该正例以及 其他相似实例来改进当前假设 203.12.18机器学习-分析学习作者: Mitchel译者:曾华军等讲者:陶晓鹏
2003.12.18 机器学习-分析学习作者：Mitchell 译者：曾华军等讲者：陶晓鹏 11 Prolog-EBG的运行举例 • Prolog-EBG对每个还没有被某个Horn子 句覆盖的正例，通过下列步骤生成一新 Horn子句 – 解释新的正例 – 分析该解释以确定一合适的泛化 – 通过加入一新的Horn子句以覆盖该正例以及 其他相似实例来改进当前假设
解释训练样例 按照领域理论建立解释,说明该正例如何满足目标概 念,当领域理论正确且完整时,此解释构成了训练样 例满足目标概念的证明 例子图11-2 一般情况下,可能有多种解释,这些解释中任意一个 或所有的都可被使用,每个解释可对训练样例形成不 同的泛化,所有解释都将被给定的领域理论论证 在 Prolog-EBG中,解释的生成使用了如 Prolog中的反向 链式搜索,找到第一个有效证明时终止 203.12.18机器学习-分析学习作者: Mitchel译者:曾华军等讲者:陶晓鹏 12
2003.12.18 机器学习-分析学习作者：Mitchell 译者：曾华军等讲者：陶晓鹏 12 解释训练样例 • 按照领域理论建立解释，说明该正例如何满足目标概 念，当领域理论正确且完整时，此解释构成了训练样 例满足目标概念的证明 • 例子图11-2 • 一般情况下，可能有多种解释，这些解释中任意一个 或所有的都可被使用，每个解释可对训练样例形成不 同的泛化，所有解释都将被给定的领域理论论证 • 在Prolog-EBG中，解释的生成使用了如Prolog中的反向 链式搜索，找到第一个有效证明时终止