修正单标签布尔分类器

我们详述布尔分类器 $\Sigma$ 的修正概念。给定 $\Sigma$ 与某些背景知识 $T$，表征 $\Sigma$ 必须被更改为遵从 $T$ 的新分类器 $\Sigma \star T$ 的方式的公理已被提出。我们此处关注单标签布尔分类器的特例，即存在单一目标概念，且任何实例被分类为正（概念的元素）或负（补概念的元素）。在此特例中，我们的主要贡献有两方面：（1）我们证明存在满足公理的唯一修正算子 $\star$；（2）当 $\Sigma$ 与 $T$ 为布尔电路时，我们展示如何以关于 $\Sigma$ 与 $T$ 大小的线性时间计算等价于 $\Sigma \star T$ 的分类电路；当 $\Sigma$ 与 $T$ 为决策树时，等价于 $\Sigma \star T$ 的决策树可以关于 $\Sigma$ 与 $T$ 大小的多项式时间计算。