Razonamiento simbólico
Symbolic reasoning
También: Symbolic reasoning
Manipulación explícita de símbolos y reglas para derivar conclusiones.
Definición técnica
Inferencia sobre representaciones discretas mediante reglas lógicas, restricciones, demostradores o programas.