En el pasado, implementé modelos de coordinación utilizando SAT y satisfacción de restricciones regulares como el caballo de batalla principal en sus motores. Continuando en esta línea de trabajo, me gustaría hacer que los modelos sean más interactivos, y la mejor manera que veo de hacerlo es abrir el solucionador de restricciones para que ya no sea un cuadro negro.
Por lo tanto, estoy interesado en aprender más sobre la satisfacción de restricciones donde las restricciones tienen lo que llamaré variables externas , predicados y funciones , es decir, el lenguaje de restricción puede tener predicados como que solo pueden ser satisfecho mediante la consulta de algún agente externo al solucionador, y luego solo cuando es tierra. Un escenario en el que esto es útil es cuando corresponde a algún proceso de decisión externo que no puede incorporarse al solucionador de restricciones. Dichos solucionadores de restricciones podrían llamarse abiertos (ya que las restricciones no se conocen por completo) o interactivas (ya que se requiere interacción para proceder con la satisfacción de restricciones).
Me gustaría saber ambos:
- investigación teórica realizada en esta dirección
- herramientas o bibliotecas que implementan solucionadores de restricciones que permiten la interacción con el mundo externo durante el proceso de resolución de restricciones.