Satisfacción de restricciones jerárquicas - Hierarchical constraint satisfaction

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.

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 compartan frecuentemente propiedades de consistencia que les permitan ser retenidos o eliminados como una unidad. Por tanto, 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 el conjunto completo. 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.

Referencias