Удовлетворение иерархических ограничений
В искусственного интеллекта и исследованиях операций иерархическое удовлетворение ограничений (HCS) — это метод решения удовлетворения ограничений проблем , когда переменные имеют большие области действия, используя их внутреннюю структуру. [1]
Для многих реальных задач элементы предметной области группируются в наборы с общими свойствами и отношениями. Эта структура может быть представлена в виде иерархии и частично упорядочена на подмножестве отношения. Ожидается, что домены структурированы таким образом, что элементы набора часто имеют общие свойства согласованности, позволяющие сохранять или исключать их как единое целое. Таким образом, если некоторые элементы набора удовлетворяют ограничению , но не все, рассматриваются подмножества набора. Таким образом, если ни один элемент набора не может удовлетворить ограничению, весь набор можно отбросить. Таким образом, структурирование домена помогает рассматривать наборы элементов одновременно и, следовательно, помогает быстрее сократить пространство поиска. [2]
Ссылки
[ редактировать ]- ^ Макворт, Алан К.; Малдер, Ян А.; Хэвенс, Уильям С. (1 января 1985 г.). «Согласованность иерархической дуги: использование структурированных областей в задачах удовлетворения ограничений». Вычислительный интеллект . 1 (1): 118–126. дои : 10.1111/j.1467-8640.1985.tb00064.x . ISSN 1467-8640 .
- ^ Уилсон, Молли; Борнинг, Алан (1 июля 1993 г.). «Логическое программирование с иерархическими ограничениями» . Журнал логического программирования . 16 (3–4): 277–318. дои : 10.1016/0743-1066(93)90046-J . ISSN 0743-1066 .
 | Эта прикладной математике, статья, посвященная незавершена . Вы можете помочь Википедии, расширив ее . |