Un algoritmo per l'apprendimento di concetti basato su controfattuali