In passato, ho implementato modelli di coordinamento utilizzando SAT e la soddisfazione dei vincoli regolari come cavallo di battaglia principale nei loro motori. Continuando in questa linea di lavoro, vorrei rendere i modelli più interattivi e il modo migliore che vedo di fare questo è quello di aprire il risolutore di vincoli in modo che non sia più una scatola nera.
Pertanto, sono interessato a saperne di più sulla soddisfazione dei vincoli in cui i vincoli hanno quelle che chiamerò variabili esterne , predicati e funzioni , ovvero il linguaggio dei vincoli può avere predicati come che possono essere soddisfatti solo consultando alcuni agente esterno al solutore, quindi solo quando è a terra. Uno scenario in cui ciò è utile è quando corrisponde ad un processo decisionale esterno che non può essere incorporato nel risolutore di vincoli. Tali risolutori di vincoli potrebbero essere definiti aperti (poiché i vincoli non sono del tutto noti) o interattivi (poiché è necessaria l'interazione per procedere con la soddisfazione del vincolo).
Mi piacerebbe sapere entrambi:
- ricerca teorica condotta in questa direzione
- strumenti o librerie che implementano i risolutori di vincoli che consentono l'interazione con il mondo esterno durante il processo di risoluzione dei vincoli.