用完美的领域理论学习 Prolog-EBG 本章考虑的基于解释的学习是在领域理论完美的情况下,即领域 理论正确且完整 当领域理论中每个断言都是客观的真实描述时,该领域理论被称为 是正确的 当领域理论覆盖了实例空间中所有正例时,该领域理论被称为是完 整的 每个满足目标概念的实例都可由领域理论证明其满足性 根据 Prolog惯例,不能证明的断言认定为假 ·因此完整性定义包含全部正例和反例 对于学习器的完美领域理论的假定的合理性的解释 在某些情况下,有可能提供完美领域理论。比如下棋问题,棋子的 合法走子提供了完美的领域理论 在许多情况下,不能够假定有完美的领域理论,但我们可以使用基 于不完美领域理论的近似合理的解释,它以完美理论为基础 203.12.18机器学习-分析学习作者: Mitchel译者:曾华军等讲者:陶晓鹏2003.12.18 机器学习-分析学习作者：Mitchell 译者：曾华军等讲者：陶晓鹏 8 用完美的领域理论学习： Prolog-EBG • 本章考虑的基于解释的学习是在领域理论完美的情况下，即领域 理论正确且完整 – 当领域理论中每个断言都是客观的真实描述时，该领域理论被称为 是正确的 – 当领域理论覆盖了实例空间中所有正例时，该领域理论被称为是完 整的 • 每个满足目标概念的实例都可由领域理论证明其满足性 • 根据Prolog惯例，不能证明的断言认定为假 • 因此完整性定义包含全部正例和反例 • 对于学习器的完美领域理论的假定的合理性的解释 – 在某些情况下，有可能提供完美领域理论。比如下棋问题，棋子的 合法走子提供了完美的领域理论 – 在许多情况下，不能够假定有完美的领域理论，但我们可以使用基 于不完美领域理论的近似合理的解释，它以完美理论为基础