Razonamiento y Planificación Automática