Se conoce también como IA simbólico-deductiva.