En inteligencia artificial e investigación de operaciones , la satisfacción de restricciones jerárquicas (HCS) es un método para manejar problemas de satisfacción de restricciones donde las variables tienen grandes dominios explotando su estructura interna. [1]
Para muchos problemas del mundo real, los elementos del dominio se agrupan en conjuntos con propiedades y relaciones comunes. Esta estructura se puede representar como una jerarquía y está parcialmente ordenada en el subconjunto de una relación. La expectativa es que los dominios estén estructurados de manera que los elementos de un conjunto frecuentemente compartan propiedades de consistencia que permitan retenerlos o eliminarlos como una unidad. Así, si algunos elementos de un conjunto satisfacen una restricción , pero no todos, se consideran los subconjuntos del conjunto. De esta manera, si ningún elemento de un conjunto puede satisfacer la restricción, se puede descartar todo el conjunto. Por lo tanto, estructurar el dominio ayuda a considerar conjuntos de elementos todos a la vez y, por lo tanto, ayuda a podar el espacio de búsqueda más rápidamente. [2]