Comment générer des exemples négatifs dans la programmation logique inductive?

Question

J'essaie d'apprendre des règles de puzzles et de jeux de société en observant un humain utilisant une programmation logique inductive.J'utilise PROGOL qui est un programme pour ILP écrit à Prolog.Alors que pour certains jeux, il est capable de me donner correctement les règles, pour d'autres, cela ne va pas due au manque d'exemples négatifs.

Par exemple, dans les tours de Hanoi Puzzle, l'une des règles est qu'un bloc plus grand ne sera pas placé sur le plus petit bloc.C'est une règle négative.Mais depuis la formation, cet événement ne se produit pas, il n'y a pas d'exemple négatif explicite à partir desquels cette règle peut être apprise.

En bref, comment générer des exemples négatifs dans ILP?

Answer 1

Je pense que vous pouvez apprendre avec des données positives uniquement dans PROGOL?

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

Muggleton, Stephen."Apprendre des données positives."Programmation logique indutive.Springer Berlin Heidelberg, 1997. 358-376.

Définissez l'apprentissage des données positives uniquement en mode sur le faisant en le faisant dans PROGOL:

| - SET (POSONLY)?