問題タブ [progol]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
prolog - 帰納的論理プログラミングで負の例を生成する方法は?
帰納的論理プログラミングを用いて人間を観察し、パズルやボードゲームのルールを学ぼうとしています。Prologで書かれたILP用のプログラムであるPROGOLを使っています。いくつかのゲームでは正しくルールを与えることができますが、他のゲームでは否定的な例がないためにそうではありません。
たとえば、ハノイの塔のパズルでは、小さなブロックの上に大きなブロックを置かないというルールがあります。これは否定的なルールです。しかし、トレーニング中にこのイベントは発生しないため、このルールを学習できる明示的な負の例はありません。
要するに、ILP で負の例をどのように生成するのでしょうか?