誘導性論理プログラミングで否定的な例を生成する方法

Question

誘導性論理プログラミングを使用して人間を観察することで、パズルやボードゲームのルールを学びようとしています。Prologで書かれたILPのプログラムであるPROGOLを使用します。一部のゲームでは、否定的な例がないため、他の人のために正しくルールを与えることができます。

たとえば、ハノイのパズルの塔では、より大きなブロックの上に大きなブロックが配置されないという規則の1つがあります。これは否定的な規則です。しかし、トレーニング中にこのイベントは発生しませんので、このルールを学習できる明示的な否定的な例はありません。

短い、ILPで否定的な例をどのように生成しますか？

Answer 1

PROGOLでのみ正のデータで学ぶことができると思いますか？

> http://link.springer.com/chapter/10.1007/3-540-63494-0_65

Muggleton、Stephen。「肯定的なデータから学ぶ」誘導論理プログラミングSpringer Berlin Heidelberg、1997. 358-376。

PROGOLでこれを行うことで、ポジティブデータ専用モードからオンにして学習を設定する：

| - セット（POSONLY）？