帰納的論理プログラミングを用いて人間を観察し、パズルやボードゲームのルールを学ぼうとしています。Prologで書かれたILP用のプログラムであるPROGOLを使っています。いくつかのゲームでは正しくルールを与えることができますが、他のゲームでは否定的な例がないためにそうではありません。
たとえば、ハノイの塔のパズルでは、小さなブロックの上に大きなブロックを置かないというルールがあります。これは否定的なルールです。しかし、トレーニング中にこのイベントは発生しないため、このルールを学習できる明示的な負の例はありません。
要するに、ILP で負の例をどのように生成するのでしょうか?