Раніше я впроваджував моделі координації, використовуючи SAT та регулярне задоволення обмежень як основну робочу коня у своїх двигунах. Продовжуючи цей напрямок роботи, я хотів би зробити моделі більш інтерактивними, і найкращий спосіб, який я бачу зробити, це відкрити вирішувач обмежень, щоб він більше не був чорним ящиком.
Таким чином, мені цікаво дізнатися більше про задоволення обмеженнями, коли обмеження мають те, що я називатиму зовнішніми змінними , предикатами та функціями , тобто мова обмеження може мати предикати, такі як які можна задовольнити лише порадившись із деякими агент зовнішній до розв'язувача, і то лише тоді, коли х ґрунт. Сценарій, коли це корисно, це коли всякий раз, коли P відповідає якомусь зовнішньому процесу прийняття рішення, який не може бути включений у вирішувач обмежень. Такі вирішувачі обмежень можна назвати відкритими (оскільки обмеження не зовсім відомі) або інтерактивними (оскільки взаємодія потрібна для задоволення обмежень).
Я хотів би знати обидва:
- теоретичні дослідження, проведені в цьому напрямку
- інструменти або бібліотеки, що реалізують рішення для обмеження, що дозволяють взаємодіяти із зовнішнім світом під час процесу вирішення обмежень.