帰納的論理プログラミング

ボトムアップ導出

PLIにおける帰納的アプローチで、特定の正例から始めて、より多くの例をカバーするように節を段階的に一般化する。GOLEMアルゴリズムなどで使用される。

← 戻る