Page 143 - 4495

ної у всіх обмеженнях, де описана змінна:

av :V  A , av ( )v   a ( , )c v .
(c C ) (v V  c )
Означення 6. Анотація обмеження об’єднує анотації змінних в

обмеженні:
ac :C  A , ac ( )c   a ( , )c v .
v c V
Означення 7. Глобальна анотація обмеження об’єднує глобальні
анотації всіх змінних в обмеженні:

acv :C  A , acv ( )c   av ( )v .
v c V
Види анотацій триплетів

Існують різні видианотаційй триплетів. Перші два базуються на
ваговому підході до анотацій

Розв’язок

Анотації будуть застосовані для знаходження розв'язку в переоб-
межених задачах та задачах оптимізації. Будуть застосовані різні ме-
тоди знаходження усього розв'язку, відповідно до семантики анотацій

змінних. Анотації задаватимуть впорядкування змінних в задачах за-
доволення обмежень з преференціями та задачах оптимізації. Співс-
тавлення анотацій з нечіткою CSP та ієрархією обмежень мають на
меті розв’язування переобмежених задач, заснованих на класичних

моделях.

Нечіткі анотації

Нечіткі анотації виражають важливість змінних за допомогою
нечіткого степеня приналежності [59, 63]. Анотації змінних

об’єднуються для розрахунку глобальних анотацій обмежень, що за-
дають преференції для вибору розв'язку шляхом оптимізації «найбі-
льше – найменше». Такий опис анотації дозволяє скласти відповідну
нечітку CSP, або, в простішому випадку, ймовірнісну CSP, що оцінює

складність можливих методів розв'язку.
Означення 8 (клас). Система обмежень з нечіткими анотаціями
P - це така система обмежень з анотаціями, що задається кортежем
A 
( , , ,V D C A , )a .

В наступній частині розділу буде описано вибір інтервалу, впо-
рядкування та об’єднувальної функції.
Функція помилки показує як задане обмеження задоволене пев-

143