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

В статье рассмотрена технология программирования, основанная на концепции недоопределенности значений. Данная технология существенно повышает уровень спецификации проблемы, а также позволяет решать новые классы задач. Недоопределенные модели имеют широкий спектр приложений и предоставляют принципиально новые возможности для решения задач в таких областях, как вычислительная математика, инженерия знаний, проектирование, планирование и др. Они используются как база в ряде основных проектов, разрабатываемых в РосНИИ искусственного интеллекта:

NеMо+ (см. [25]) — объектно-ориентированная программная обстановка для недоопределенных вычислений с широким спектром типов данных,.

SemP-ТAO (см. [26]) — технология создания сложных систем обработки знаний, ТАО (см. [27]) — мультиагентная программная технология активных объектов,.

UniCalc (см. 13]) — решение алгебраических задач произвольной сложности,.

Time-EX (см. 16]) — календарное планирование на основе неполных данных, Экономика — модель макроэкономики и Госбюджета РФ, ФинПлан — технология финансового планирования нового поколения и некоторые другие проекты.

Опыт применения Н-моделей показал, что они являются не только удобным высокоуровневым средством спецификации задач, но и позволяют организовать вычисления достаточно эффективным способом. Поскольку в основе Н-моделей лежит недетерминированный параллельный вычислительный процесс, эффективность их работы может быть повышена во много раз при реализации на компьютерах с параллельной архитектурой. Проведение соответствующих экспериментов является одним из направлений дальнейшего развития.

Еще одно направление исследований связано с разработкой моделей и систем, обеспечивающих обработку недоопределенной информации в сочетании с неточностью, неоднозначностью и т. п. [28].

Для расширения класса решаемых задач перспективной является интеграция Н-моделей с другими технологиями программирования. Вопрос интеграции с объектно-ориентированным подходом достаточно хорошо проработан и нашел свое отражение в первых трех из перечисленных выше проектов.

В настоящее время ведутся работы по интеграции недоопределенных вычислений с системами логического и продукционного программирования и с базами данных.