Я пытаюсь изучить правила головоломок и настольных игр, наблюдая за человеком, использующим индуктивное логическое программирование. Я использую PROGOL, программу для ILP, написанную на Прологе. В то время как для некоторых игр он может правильно дать мне правила, для других это невозможно из-за отсутствия отрицательных примеров.
Например, в головоломке «Ханойские башни» одно из правил состоит в том, что больший блок не будет помещаться поверх меньшего блока. Это отрицательное правило. Но так как при обучении это событие не происходит, то нет явного отрицательного примера, из которого можно было бы выучить это правило.
Короче говоря, как генерировать негативные примеры в ПИО?