Глоссарий ИИ
Полный словарь искусственного интеллекта
Арх-согласованность
Свойство графа ограничений, при котором для любого значения переменной существует хотя бы одно совместимое значение в области определения соседней переменной. Это базовая техника фильтрации в программировании в ограничениях.
Задача удовлетворения ограничений
Математическая задача, определяемая множеством переменных, их областями определения и множеством ограничений между этими переменными. Цель заключается в поиске полного назначения, удовлетворяющего всем ограничениям.
Оптимизация в ограничениях
Расширение программирования в ограничениях, целью которого является поиск наилучшего решения среди всех допустимых решений в соответствии с критерием оптимизации. Оно объединяет удовлетворение ограничений с поиском оптимума.
Узел решения
Точка в дереве поиска, в которой переменной присваивается конкретное значение. Каждый узел представляет собой частичное состояние задачи, от которого поиск продолжается или выполняется возврат.