Программирование в ограничениях

Использование подходов и алгоритмов искусственного интеллекта (ИИ) позволяет решать многие прикладные задачи, такие, как задачи теории расписаний, задачи проектирования экспертных систем и систем поддержки принятия решений, доказательство теорем, задачи тестирования электронных схем, обработка изображений. Одной из важных задач ИИ является задача удовлетворения ограничений (УО) (constraint satisfaction problem).
Теория УО предлагает удобный аппарат и простую формальную схему для представления и решения комбинаторных задач искусственного интеллекта. Целью решения задачи УО является нахождение значений переменных, удовлетворяющих определенным ограничениям.

Удовлетворение ограничений и программирование в ограничениях

Программирование в ограничениях и недоопределенные модели

Объектно-ориентированное программирование в ограничениях