Trước đây, tôi đã thực hiện các mô hình phối hợp sử dụng SAT và sự hài lòng ràng buộc thường xuyên như là công việc cốt lõi trong động cơ của họ. Tiếp tục công việc này, tôi muốn làm cho các mô hình trở nên tương tác hơn, và cách tốt nhất tôi thấy khi làm điều này là mở ra bộ giải hạn chế để nó không còn là hộp đen.
Do đó, tôi quan tâm đến việc tìm hiểu thêm về sự thỏa mãn ràng buộc trong đó các ràng buộc có cái mà tôi sẽ gọi là các biến , vị từ và hàm bên ngoài , nghĩa là ngôn ngữ ràng buộc có thể có các vị từ như chỉ có thể được thỏa mãn bằng cách tham khảo một số tác nhân bên ngoài cho bộ giải, và sau đó chỉ khi x là mặt đất. Một kịch bản trong đó điều này hữu ích là bất cứ khi nào P tương ứng với một số quy trình quyết định bên ngoài không thể được đưa vào bộ giải ràng buộc. Những người giải quyết ràng buộc như vậy có thể được gọi là mở (vì các ràng buộc không hoàn toàn được biết đến) hoặc tương tác (vì sự tương tác là cần thiết để tiến hành với sự hài lòng ràng buộc).
Tôi muốn biết cả hai:
- nghiên cứu lý thuyết được thực hiện theo hướng này
- các công cụ hoặc thư viện triển khai các bộ giải ràng buộc cho phép tương tác với thế giới bên ngoài trong quá trình giải quyết ràng buộc.