如何从G3到G4 - 候选人消除

Question

如何从G3升级到G4？

我正在尝试为下表应用候选消除，并实现特定和通用边界。

S0 : <0 0 0 0 0 0>     G0: <? ? ? ? ? ?>

Negative D1 : <Green Normal Yes String Good Same>
S1 = S0
G1 = <Dry ? ? ? ? ?> 
     <? Hot ? ? ? ?> 
     <? ? No ? ? ?> 
     <? ? ? Normal ? ?>
     <? ? ? ? Avg ?>
     <? ? ? ? ? Change>

Negative D2 : <Green Normal Yes Strong Avg Same>
S2 = S0
G2 = <Dry ? ? ? ? ?> 
     <? Hot ? ? ? ?> 
     <? ? No ? ? ?> 
     <? ? ? Normal ? ?> 
     <? ? ? ? ? Change>

Positive D3 : <Dry Normal No Normal Avg Change>
S3 = <Dry Normal No Normal Avg Change>
G3 = <Dry ? ? ? ? ?>  
     <? ? No ? ? ?> 
     <? ? ? Normal ? ?> 
     <? ? ? ? ? Change>

Negative : D4 :<Dry Hot No Normal Good Change>

如果我从G中删除不同的元素，则会删除所有元素。

如何从G3升级到G4？

Answer 1

使用Candidate Elimination的算法。根据算法，如果是否定的，首先从S中删除不一致的假设。

因此，S4 :<D N N ? A ?>

对于G，您必须删除每个不一致的假设，并添加与算法匹配的假设。

如您所见，当前G3中的所有假设都不一致，因此我们删除了每个假设。

然后我们添加它们的所有最小特化（即2项的组合）。组合必须满足S，而 NOT 满足D（因为D为负）

这基本上意味着要考虑S4中的所有2项组合，并删除与D4不一致的组合。

Negative : D4 :<Dry Hot No Normal Good Change>

S4 :<D N N ? A ?>

一个组合是<D N ? ? ? ?>，这与D一致，所以我们保留它。

另一个组合是<D ? N ? ? ?>但它满足D（因此不一致，因为D是否定的）。所以我们不保留它。

同样G4可以计算为

 G4 : { <D N ? ? ? ?>   <D ? ? ? A ?>
        <? N N ? ? ?>   <? N ? N ? ?>   <? N ? ? ? C>
        <? ? N ? A ?>   
        <? ? ? N A ?>
        <? ? ? ? A C>
      }