Entiendo que esta frase particular en el contexto en cuestión habla de forma muy general de los principales componentes de un sistema de control. Por una parte tenemos las entradas o sensores (sensors), las salidas o actuadores (actuators) y en medio se situaría el controlador lógico (logic solver).

El término de "logic solver" es muy genérico y por ello se puede aplicar a multitud de sistemas de control. Lo que ocurre en la realidad es que dependiendo de la tecnología empleada, se pueden encontrar muchos tipos de "logic solvers" por ejemplo:

- Autómatas Programables o Controladores Lógicos Programables (de las siglas en inglés PLC - Programmable Logic Controllers), o

- PLC de Seguridad o Safety PLCs en sistemas de control en donde, debido a las características especiales y peligrosas del proceso a controlar, se requieren controladores específicos que puedan gestionar el proceso de tal manera que haya un alto grado de seguridad y se evite todo riesgo de accidentes, debido a que el proceso en cuestión evolucione a un estado en el que esté fuera de control.

Mi opinión es que el término "logic solver" se usa en este contexto de forma general, pero a la vez un poco específica para denotar que se está hablando de un "safety related control system", es decir un sistema de control, pero en el que se hace hincapié en la función de seguridad, entendiéndose por función de seguridad un nivel más avanzado en el diseño de sistemas de control de procesos, de forma que si se omite, se corre riesgo de que puedan ocurrir accidentes no deseados.

Espero que te ayude. En mi experiencia personal, lo que suele ocurrir entre los profesionales involucrados en esta rama de la Ingeniería, es que se termina utilizando el término en inglés "logic solver". Por otra parte una traducción como "controlador lógico", no creo que esté mal.

Como profesional en este sector, creo que "resolvedor lógico" no es acertado (me averguenza un poco), y pienso que no es correcto gramáticamente tampoco.

La otra sugerencia "solucionador de lógica" me parece más acertada que la anterior, pero creo que en este contexto en particular es mejor hablar de "controlador lógico"

Es solo mi opinion...