Come generare esempi negativi nella programmazione logica induttiva?

Question

Sto cercando di imparare le regole di puzzle e giochi da tavolo osservando un umano utilizzando la programmazione logica induttiva.Io uso PROGOL che è un programma per ILP scritto in Prolog.Mentre per alcuni giochi è in grado di darmi correttamente le regole, per alcuni altri non è dovuta alla mancanza di esempi negativi.

Ad esempio, nelle torri del puzzle Hanoi, una delle regole è che un blocco più grande non verrà posizionato sopra il blocco più piccolo.Questa è una regola negativa.Ma poiché durante la formazione questo evento non si verifica non è presente alcun esempio negativo esplicito da cui questa regola può essere appresa.

In breve, come si genera esempi negativi in ILP?

Answer 1

Penso che tu possa imparare con i dati positivi solo in Progol?

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

Muggleton, Stephen."Imparare dai dati positivi."Programmazione logica induttiva.Springer Berlin Heidelberg, 1997. 358-376.

Impostare l'apprendimento da solo dati positivi Modalità su ON eseguendo questo in Progol:

.

| - Set (posony)?