En la satisfacción de restricciones , la inferencia de restricciones es una relación entre las restricciones y sus consecuencias. Un conjunto de restricciones implica una restricción si cada solución a es también una solución para . En otras palabras, si es una valoración de las variables en los alcances de las restricciones en y todas las limitaciones en están satisfechos por , luego también satisface la restricción .
Algunas operaciones sobre restricciones producen una nueva restricción que es consecuencia de ellas. La composición de restricciones opera en un par de restricciones binarias y con una variable común. La composición de estas dos restricciones es la restricción que se satisface con cada evaluación de las dos variables no compartidas para las que existe un valor de la variable compartida tal que la evaluación de estas tres variables satisfaga las dos restricciones originales y .
La proyección de restricción restringe los efectos de una restricción a algunas de sus variables. Dada una restricción su proyección a un subconjunto de sus variables es la restricción que se satisface con una evaluación si esta evaluación se puede extender a las otras variables de tal manera que la restricción original Está satisfecho.
La composición extendida es similar en principio a la composición, pero permite un número arbitrario de restricciones posiblemente no binarias; la restricción generada está en un subconjunto arbitrario de las variables de las restricciones originales. Dadas las limitaciones y una lista de sus variables, la composición extendida de ellos es la restricción donde una evaluación de satisface esta restricción si se puede extender a las otras variables de modo que están todos satisfechos.
Ver también
Referencias
- Dechter, Rina (2003). Procesamiento de restricciones . Morgan Kaufmann.ISBN 1-55860-890-7
- Apt, Krzysztof (2003). Principios de la programación de restricciones . Prensa de la Universidad de Cambridge.ISBN 0-521-82583-0
- Marriott, Kim; Peter J. Stuckey (1998). Programación con restricciones: una introducción . Prensa del MIT.ISBN 0-262-13341-5