История науки и техники Аннотация к статье << Назад ПРИМЕНЕНИЕ ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ В ОГРАНИЧЕНИЯХ ДЛЯ АНАЛИЗА И ОБРАБОТКИ НЕПОЛНОЙ И ТРУДНОФОРМАЛИЗУЕМОЙ ИНФОРМАЦИИ А.А. Зуенко, А.Г. Олейник В статье представлен обзор результатов, полученных в Институте информатики и математического моделирования КНЦ РАН в области разработки, развития и использования методов и технологии программирования в ограничениях для решения задач, характеризующихся неполной и трудноформализуемой исходной информацией. Для представления и обработки качественных ограничений с неопределенностями предложено использовать специализированные матрицы, а рассуждения на данных структурах реализовывать в форме процедур удовлетворения ограничений. Кратко охарактеризован формальный аппарат и разработанные методы удовлетворения нечисловых ограничений, обеспечивающие совместную обработку количественных и качественных зависимостей предметной области. Рассмотрены примеры использования полученных теоретических результатов для различных прикладных задач: согласования программ профессионального образования и кадровых потребностей региональной социально-экономической системы; онтологический инжиниринг слабо формализованных предметных областей; интеллектуальное планирование действий в чрезвычайных ситуациях; качественное моделирование динамических систем. В работе приведены ссылки на публикации авторов, в которых представленные результаты описаны более полно с использованием необходимых формальных обозначений и выводов. Ключевые слова: нечисловое ограничение; удовлетворение ограничений; программирование в ограничениях; матрицеподобная структура; онтологический инжениринг; интеллектуальное планирование. DOI: 10.25791/intstg.04.2019.557 Контактная информация: E-mail: zuenko@iimm.ru Стр. 35-45.