如何在归纳逻辑编程中生成否定例子？

Question

我正在尝试通过使用电感逻辑编程观察人来学习谜题和棋盘游戏的规则。我使用progol，这是in prolog编写的ILP计划。虽然对于一些游戏，但它能够正确地给我规则，对于其他一些，它不会缺乏否定例子。

例如，在河内拼图的塔中，其中一个规则是更大的块不会放置在较小块的顶部。这是否定规则。但是由于在训练期间，此事件不会发生，因此无法从中学习此规则的显式否定示例。

简而言之，人们如何在ILP中生成否定例子？

Answer 1

我认为您只能在proogol中使用正数据？

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

Muggleton，Stephen。“从积极数据学习。”归纳逻辑编程。斯普林克柏林海德堡，1997年358-376。

通过在progol中执行此方法，从正数据的情况下设置学习：

| - set（posonly）？