Programação Lógica Indutiva

Derivação Top-Down

Abordagem de indução em ILP que parte de uma cláusula muito geral e a especializa para excluir exemplos negativos, típica de sistemas como Progol.

← Voltar