候选消除，一个特殊用例

Question

所以我理解并学习候选消除过程，找到假设空间。我对以下示例中运行CEl感到困惑：

我们有一只笼子里有两只鸟可以住在同一个笼子里。

描述了每只鸟

• 性别（男，女）
• 颜色（红色，绿色，蓝色）
• Origin（美国，巴西，俄罗斯，澳大利亚，中国）

经过一些迭代后，我有 S 特定假设和 G 一般假设如下：

S ＆lt;＆lt;男性，红色，？＆gt;，＆lt;女，蓝色，中国＆gt;＆gt;

G ＆lt;＆lt; ？，？，？，？＆gt;，＆lt; ？，，，＆gt;有？＆GT;

现在，如果培训示例是： 否定即不能一起生活＆lt;＆lt;女，红色，美国＆gt;，＆lt;女，蓝色，澳大利亚＆gt;＆gt;

新的 G 一般假设是什么？

让我写下我认为可能是答案的内容：

新G

或者： ＆LT;＆LT;男，？，？＆gt;，＆lt; ？，？，？＆gt;＆gt; ＆安培;＆安培; ＆LT;＆LT; ？，？，？＆gt;，＆lt; ？，？，中国＆gt;＆gt;

或 ＆LT;＆LT;男，？，？＆gt;，＆lt; ？，？，？＆gt;＆gt; ＆安培;＆安培; ＆LT;＆LT; ？，？，？＆gt;，＆lt; ？，？，中国＆gt;＆gt; ＆安培;＆安培; ＆LT;＆LT; ？，？，？＆gt;，＆lt; ？，？，俄罗斯＆gt;＆gt; ＆安培;＆安培; ＆LT;＆LT; ？，？，？＆gt;，＆lt; ？，？，巴西＆gt;＆gt; ＆安培;＆安培; ＆LT;＆LT; ？，？，？＆gt;，＆lt; ？，？，US＆gt;＆gt;

我认为第二个是正确的，因为它是一个普遍的假设，并且应该包括其余的三个国家。

Answer 1

第二个是不正确的，因为根据候选消除算法，对于 G 的每个最小特化， S 中必须有一个更具体的假设。但是你添加了三个特殊化，其中 S 中的单个假设不是更具体（ S 要求第二只鸟来自中国，而你添加的最后三个特殊化 G 需要其他特定国家/地区。

第一个版本显示正确。

请注意，这里假设假设中两只鸟的顺序很重要。