Wnioskowanie o ograniczeniach

W przypadku spełniania ograniczeń wnioskowanie o ograniczeniach jest związkiem między ograniczeniami a ich konsekwencjami. Zestaw ograniczeń $.$$za$$sobą$ ograniczenie, każde $jest$ rozwiązaniem do Innymi słowy, jeśli jest wyceną zmiennych w zakresach ograniczeń w $\$ wszystkie ograniczenia w są spełnione przez $displaystyle V}$$,$$displaystyle V$ } wtedy $do$ również ograniczenie $_$

Niektóre operacje na ograniczeniach tworzą nowe ograniczenie, które jest ich konsekwencją. Kompozycja ograniczeń działa na parze ograniczeń binarnych ${\ Displaystyle ((x, y), R)}$ i ${\ Displaystyle ((y, z) ,S)}$ ze wspólną zmienną. Złożenie takich dwóch ograniczeń to ograniczenie , które jest spełnione przez każdą ocenę dwóch zmiennych, dla których istnieje wartość ( $\ Displaystyle ((x, z), Q)}$ wspólnej zmiennej $,$ , że ocena tych trzech zmiennych spełnia dwa pierwotne ograniczenia $R)}$ i ${\ Displaystyle ((y, z), S)}$ .

Odwzorowanie ograniczeń ogranicza skutki ograniczeń do niektórych jego zmiennych. $R ')}$ ograniczenie $, jego$ na podzbiór zmiennych jest ograniczeniem $′$$t'$$ograniczenie$ spełniony przez ocenę, jeśli tę ocenę można rozszerzyć na inne zmienne w taki sposób, że pierwotne .

Rozszerzona kompozycja jest w zasadzie podobna do kompozycji, ale pozwala na dowolną liczbę ewentualnie niebinarnych ograniczeń; wygenerowane ograniczenie dotyczy dowolnego podzbioru zmiennych pierwotnych ograniczeń. $Biorąc$$uwagę$ ograniczenia ${\ Displaystyle (A, R)}$ listę ich ich $do$ ocena spełnia to ograniczenie, jeśli można ją rozszerzyć na inne zmienne, tak że $\ displaystyle C_ {1}, \ ldots ,C_{m}}$ są spełnione.

Zobacz też

• Problem spełnienia ograniczeń

•   Dechter, Rina (2003). Przetwarzanie ograniczeń . Morgana Kaufmanna. ISBN 1-55860-890-7
•   Apt, Krzysztof (2003). Zasady programowania z ograniczeniami . Wydawnictwo Uniwersytetu Cambridge. ISBN 0-521-82583-0
•   Marriott, Kim; Peter J. Stuckey (1998). Programowanie z ograniczeniami: wprowadzenie . MIT Press. ISBN 0-262-13341-5