과거에는 SAT와 규칙적인 제약 조건 만족을 엔진의 핵심 워크로 사용하여 조정 모델을 구현했습니다. 이 작업 라인을 계속하면서 모델을 대화식으로 만들고 싶습니다.이 작업을 수행하는 가장 좋은 방법은 더 이상 블랙 박스가 아닌 제약 조건 솔버를 여는 것입니다.
따라서 제약 조건에 외부 변수 , 술어 및 함수 라고 부르는 제약 조건이있는 제약 조건 만족 , 즉 제약 조건 언어에는 와 같은 술어가있을 수 있습니다. 솔버 외부의 에이전트, 그리고 x 가 접지 된 경우에만 . 이것이 유용한 시나리오는 P 가 제약 조건 솔버에 통합 될 수없는 일부 외부 결정 프로세스에 해당 할 때마다 입니다. 이러한 구속 조건 솔버는 개방형 (제약 조건이 완전히 알려지지 않았으므로) 또는 대화식 으로 호출 될 수 있습니다. (제약 만족을 진행하기 위해서는 상호 작용이 필요하기 때문에).
둘 다 알고 싶습니다.
- 이 방향으로 수행 된 이론적 연구
- 구속 조건 해결 프로세스 동안 외부 세계와의 상호 작용을 허용하는 구속 조건 솔버를 구현하는 도구 또는 라이브러리.