ในอดีตฉันใช้โมเดลการประสานงานโดยใช้ SAT และความพึงพอใจของข้อ จำกัด เป็นประจำซึ่งเป็นสิ่งสำคัญสำหรับเครื่องยนต์ของพวกเขา ต่อเนื่องในสายงานนี้ฉันต้องการทำให้แบบจำลองมีการโต้ตอบมากขึ้นและวิธีที่ดีที่สุดที่ฉันเห็นในการทำเช่นนี้คือการเปิดตัวแก้ข้อ จำกัด เพื่อที่จะไม่เป็นกล่องดำอีกต่อไป
ดังนั้นฉันสนใจในการเรียนรู้เพิ่มเติมเกี่ยวกับความพึงพอใจในข้อ จำกัด ที่ จำกัด ที่มีสิ่งที่ฉันจะเรียกตัวแปรภายนอก , ภาคและฟังก์ชั่นที่เป็นภาษา จำกัด อาจมีภาคเช่นซึ่งสามารถให้คำปรึกษาด้านความพึงพอใจโดยบางส่วน เอเจนต์ภายนอกตัวแก้ไขจากนั้นก็ต่อเมื่อxเป็นกราวด์ สถานการณ์ที่มีประโยชน์นี้คือเมื่อใดก็ตามที่Pสอดคล้องกับกระบวนการตัดสินใจภายนอกบางอย่างที่ไม่สามารถรวมเข้าไปในตัวแก้ไขข้อ จำกัด ตัวแก้ข้อ จำกัด ดังกล่าวอาจเรียกว่าopen (เนื่องจากไม่รู้จักข้อ จำกัด ทั้งหมด) หรือการโต้ตอบ (เนื่องจากต้องมีการโต้ตอบเพื่อดำเนินการต่อด้วยความพึงพอใจข้อ จำกัด )
ฉันอยากจะรู้ว่าทั้งสอง:
- การวิจัยเชิงทฤษฎีทำในทิศทางนี้
- เครื่องมือหรือไลบรารีที่ใช้ตัวแก้ไขข้อ จำกัด ที่อนุญาตให้มีการโต้ตอบกับโลกภายนอกในระหว่างกระบวนการแก้ไขข้อ จำกัด