Рассмотрение понятий, лежащих в основе аппарата недоопределенных моделей. Выяснение специфики и возможностей программирования в ограничениях. Приведение примеров недоопределенного расширения. Описание типов данных в Н-моделях и алгоритма вычислений.
Аннотация к работе
Российский НИИ Искусственного Интеллекта Программирование в ограничениях и недоопределенные моделиИспользуя модель задачи и исходную информацию о значениях ее параметров, методы программирования в ограничениях обеспечивают автоматическое нахождение решения. Наш Институт планирует в журнале “Информационные Технологии” серию публикаций о наиболее интересных разработках, базирующихся на технологии Н-моделей и задача данной статьи дать читателю общую информацию о специфике и возможностях как самого этого аппарата, так и в целом о программировании в ограничениях. Далее в статье понятие переменной будет использоваться в расширенном классическом смысле: в Н-моделях переменной сопоставляется недоопределенное значение (или Н-значение), являющееся оценкой реального значения-денотата на основе доступной нам в данный момент информаци. Таким образом, Н-значение есть непустое подмножество универсума, содержащее внутри себя значение-денотат, которое остается пока неизвестным (вернее, известным с точностью до данного недоопределенного значения) ввиду недостатка информации. Стоит отметить, что параметры реальных задач всегда имеют начальные оценки их значений, поскольку даже в тех случаях, когда решающий задачу затрудняется в определении исходных ограничений на область значений того или иного числового параметра, оценка его значения от минус до плюс бесконечности будет представлена в машине конкретными числами.В статье рассмотрена технология программирования, основанная на концепции недоопределенности значений. Данная технология существенно повышает уровень спецификации проблемы, а также позволяет решать новые классы задач. Недоопределенные модели имеют широкий спектр приложений и предоставляют принципиально новые возможности для решения задач в таких областях, как вычислительная математика, инженерия знаний, проектирование, планирование и др. Опыт применения Н-моделей показал, что они являются не только удобным высокоуровневым средством спецификации задач, но и позволяют организовать вычисления достаточно эффективным способом.