23、偏差规范语言与偏差 - 方差分解的应用

偏差规范语言与偏差 - 方差分解的应用

偏差规范语言

在机器学习领域，偏差规范语言是一个重要的概念，它有助于我们更精确地定义假设空间，从而提高学习算法的性能。

FLIPPER 的偏差规范语言

FLIPPER 系统采用了一种强大但更具程序性的偏差规范形式。用户并非直接指定一组有效的假设，而是指定一个细化算子。语言偏差是指通过对一个或多个起始子句重复应用该细化算子所能得到的所有子句的集合。

细化算子的规则有以下两种形式：
- A B where Pre asserting Post
- L where Pre asserting Post

第一种形式定义了一组“起始子句”，第二种形式定义了何时可以将文字 L 添加到子句中。每个规则只有在其前提条件 Pre 满足时才能应用，应用后将断言一组文字 Post 。

例如：

illegal(A, B, C, D, E, F) where true asserting {flinked(A), linked(B), ..., linked(F)}
R(X, Y) where rel(R), linked(X), linked(Y) asserting Ø

这表明任何形式为 illegal (A, B, C, D, E, F) 的子句都可以作为细化算子的起点，并且该