FIND-Sアルゴリズム

最も特殊な仮説から開始し，事例と矛盾しないように，仮説の最小一般化を繰り返し，最大特殊化仮説 (maximally specific hypothesis)を導く． 
h=H中で最も特殊な仮説;
for(each 正事例 d in 事例集合D) {
   for(each 制約 ai in h)
      if(ai がdを満足しない)
        ai=xを満足するaiを最小一般化した制約;
}