Труды КНЦ вып.8 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 3/2017(8))

Swl VSw 1 Cl {on} {neg, zero, pos} {neg, zero, pos} {on} {zero} * {off} * {zero} Домен атрибута .Viv1 конкретизирован с учетом условий задачи. К данной С-системе применяется сначала утверждение У5’ и в строке 2 появляется пустая компонента, соответствующая атрибуту Ли’1 . Затем, используя У4’, элиминируем вторую строку: Swl VSwl Cl {on} {neg, zero, pos} {neg, zero, pos} l[ * {zero} * ]. Теперь, согласно, УЗ’ конкретизируем домен атрибута VSwl: VSw 1 - {zero}. Затем строка 1 удаляется из С-системы, так как по У2’ элиминируются все ее атрибуты. Поскольку рассматриваемое ограничение 1 не содержит больше строк, то исключаем его из списка ограничений и добавляем ограничение 7, содержащее конкретизированный атрибут VSwl (табл., строка2.) На данном шаге имеем следующее частичное решение задачи CSP: S w l- { o n } , Sw 2 -{on } , Sw 3 -{o n } , B l - { o k } , B 2 - { o k } , ВЪ -{ок}, VSwl - {zero}. В последнем столбце таблицы, жирным цветом показаны атрибуты, чьи значения удалось конкретизировать на текущем шаге, а без выделения приво­ дятся атрибуты, значения которых были уже известны до выполнения шага. Остальные шаги выполняются по аналогии. На каждом шаге происходит усечение доменов одних атрибутов на основе известных доменов других атрибутов. Процесс распространения ограничений оканчивается вычеркиванием всех С-систем без образования пустых С-систем, что является признаком получения окончательного решения рассматриваемой задачи CSP. Ответ: LI - {light}, L2 - {dark}, L3 - {dark}. Другими словами, если будут включены (on) все выключатели, при том, что все лампы исправны (ок). то светиться будет только первая лампа. Заметим, что решение данной конкретной задачи CSP получено только на основе авторских методов распространения ограничений без организации ветвления и привлечения стратегий возврата из тупиковых вершин. Решение представлено в виде списка пар: “атрибут - усеченный домен атрибута”. В полученном решении все домены представляют собой одноэлементные множества, но, в общем случае, мощность множеств может быть больше единицы. 106