Come generare esempi negativi nella programmazione logica induttiva?
Domanda
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?
Soluzione
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)?