Программирование в ограничениях
Курсовая работа, 24 Января 2012, автор: пользователь скрыл имя
Описание работы
Многие практически важные задачи представляют собой задачи на удовлетворение ограничениям. Для их решения придумано множество алгоритмов, начиная с классического метода Гаусса и кончая сложными методами применяемыми в системах доказательства теорем и в системах символьных вычислений. Возникло даже целое направление в программировании - программирование в ограничениях (constraint programming). Идея его чрезвычайно проста - программист определяет некоторое множество переменных и описывает ограничения, которым они должны удовлетворять, а система находит подходящие значения.
Содержание
ВВЕДЕНИЕ……………………………………………………………………….3
УДОВЛЕТВОРЕНИЕ ОГРАНИЧЕНИЙ И ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ………………………………………………….…4
Удовлетворение ограничений…………………………………………...4
Решение задачи удовлетворения ограничений…………………………6
Расширение Prolog для использования в качестве языка логического программирования в ограничениях…………………………………...10
ПРИМЕНЕНИЕ МЕТОДА CLP ДЛЯ ОБРАБОТКИ ДЕЙСТВИТЕЛЬНЫХ ЧИСЕЛ – CLP(R)…………………………………………………………....12
ПЛАНИРОВАНИЕ С ПОМОЩЬЮ МЕТОДА CLP…………..…………15
МОДЕЛИРОВАНИЕ В ОРАНИЧЕНИЯХ…………………………………19
ПРИМЕНЕНИЕ МЕТОДА CLP ДЛЯ ПОДДЕРЖКИ КОНЕЧНЫХ ОБЛАСТЕЙ ОПРЕДЕЛЕНИЯ – CLP(FD)…………………………………20
ЗАКЛЮЧЕНИЕ…………………………………………………………………24
СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ………………….……….26
Работа содержит 1 файл
Логическое программирование в ограничениях1.doc
— 168.00 Кб (Скачать)
СПИСОК
ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ
- Семенов А.Л. Методы распространения ограничений: основные концепции Институт систем информатики им. А.П. Ершова СО РАН Новосибирск
- Петров Евгений Сергеевич, Метода интеграции логического программирования и программирования в ограничениях, автореферат диссертации на соискание ученой степени кандидата физико-математических наук, Новосибирск, 1999
- Иван Братко, Алгоритмы искусственного интеллекта на языке PROlOG,3-е издание, «Вильямс», 2004г.
- Анатолий Адаменко, Андрей Кучков, Логическое программирование и Visual Prolog, «БХВ-Петербург», Санкт-Петербург, 2003г.
- Малпас ДЖ. Реляционный язык Пролог и его применение, «Наука», Москва,1990г.
- http://www.softcraft.ru/
paradigm/dp/dp06-05.shtml