Como gerar exemplos negativos na programação lógica indutiva?

Question

Eu estou tentando aprender regras de quebra-cabeças e jogos de tabuleiro observando um humano usando programação lógica indutiva.Eu uso progol, que é um programa para o ILP escrito em Prolog.Enquanto para alguns jogos, é capaz de me dar corretamente as regras, para alguns outros, não devido à falta de exemplos negativos.

Por exemplo, nas torres do quebra-cabeça de Hanoi, uma das regras é que um bloco maior não será colocado em cima do bloco menor.Esta é uma regra negativa.Mas, como durante o treinamento, este evento não ocorre, não há exemplo negativo explícito da qual essa regra possa ser aprendida.

Em suma, como gera exemplos negativos no ILP?

Answer 1

Eu acho que você pode aprender com dados positivos apenas em progol?

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

Muggleton, Stephen."Aprendendo de dados positivos."Programação lógica indutiva.Springer Berlin Heidelberg, 1997. 358-376.

Definir aprendizado a partir de dados positivos somente modo para continuar fazendo isso em progol:

.

| - conjunto (posonly)?