Deducciones controladas por algoritmo