In der Vergangenheit habe ich Koordinationsmodelle implementiert, bei denen SAT und die reguläre Beschränkungszufriedenheit das zentrale Arbeitspferd in ihren Motoren waren. In diesem Arbeitsbereich möchte ich die Modelle interaktiver gestalten. Der beste Weg, dies zu tun, besteht darin, den Constraint-Solver so zu öffnen, dass er keine Black Box mehr ist.
Daher bin ich daran interessiert, mehr über die Constraint-Zufriedenheit zu erfahren, wenn die Constraints externe Variablen , Prädikate und Funktionen haben , dh die Constraint-Sprache kann Prädikate wie die nur sein können zufrieden, indem ein Agent außerhalb des Lösers konsultiert wird, und dann nur, wenn geschliffen ist. Ein Szenario, in dem dies nützlich ist, ist immer dann, wenn einem externen Entscheidungsprozess entspricht, der nicht in den Constraint Solver integriert werden kann. Solche Constraint-Löser können als offen (da Constraints nicht vollständig bekannt sind) oder interaktiv bezeichnet werden (Da eine Interaktion erforderlich ist, um die Bedingungen zu erfüllen).
Ich würde gerne beides wissen:
- theoretische Forschung in dieser Richtung durchgeführt
- Tools oder Bibliotheken, die Constraint-Löser implementieren, die die Interaktion mit der Außenwelt während des Constraint-Lösungsprozesses ermöglichen.