Hierarchiczne spełnianie ograniczeń

W sztucznej inteligencji i badaniach operacyjnych hierarchiczne spełnianie ograniczeń (HCS) to metoda radzenia sobie z problemami spełniania ograniczeń , w których zmienne mają duże domeny, wykorzystując ich wewnętrzną strukturę.

W przypadku wielu rzeczywistych problemów elementy domeny skupiają się w zestawy o wspólnych właściwościach i relacjach. Ta struktura może być reprezentowana jako hierarchia i jest częściowo uporządkowana w podzbiorze relacji. Oczekuje się, że domeny mają taką strukturę, że elementy zestawu często mają wspólne właściwości spójności, co pozwala na ich zachowanie lub wyeliminowanie jako jednostki. Tak więc, jeśli niektóre elementy zestawu spełniają ograniczenie , ale nie wszystkie, podzbiory zbioru są brane pod uwagę. W ten sposób, jeśli żaden element zestawu nie spełnia tego ograniczenia, cały zestaw można odrzucić. Tak więc struktura domeny pomaga w rozważaniu zestawów elementów jednocześnie, a tym samym pomaga w szybszym przycinaniu przestrzeni wyszukiwania.