Как генерировать негативные примеры в индуктивном логическом программировании?

Question

Я пытаюсь выучить правила головоломок и настольных игр, наблюдая за человеком, используя индуктивное логическое программирование.Я использую Progol, который является программой для ILP, написанных в Prolog.Хотя для некоторых игр он способен правильно дать мне правила, для некоторых других он не связан с отсутствием негативных примеров.

Например, в башнях головоломки Ханой, одним из правил является то, что более крупный блок не будет размещен на верхней части меньшего блока.Это отрицательное правило.Но поскольку во время тренировки это событие не происходит, нет явного отрицательного примера, из которого это правило можно узнать.

Короче говоря, как один генерирует негативные примеры в ILP?

Answer 1

Я думаю, вы можете учиться с положительными данными только в проголе?

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

muggleton, Стивен.«Обучение от положительных данных».Индуктивное логическое программирование.Springer Berlin Heidelberg, 1997. 358-376.

Установите обучение от положительного режима только в режиме данных, выполнив его в Progol:

| - Установите (полон)?