Описание книги
Решение задачи на компьютере связано с применением моделей, представленных на разных языках, начиная с естественного и кончая языком программирования. Во избежание дорогостоящего программирования разрабатываются специализированные инструментальные системы (ИнС), рассчитанные на решение классов задач. В связи с этим основное внимание в книге уделено языкам описания модели задачи, начиная с естественного языка и заканчивая языком ИнС. Естественный язык используется не только для формулирования содержательной постановки задачи, но и для создания онтологической модели предметной области. Особое место занимает язык предикатов первого порядка (ЯППП), используемый для логического анализа данных и условий задачи. Алгебраическая система как модель ЯППП используется в роли языка системного анализа задачи. Высокая общность и простота этого языка имеет следствием компактное представление большого объёма условий сложной задачи в их взаимосвязи. Использование естественного и искусственных языков демонстрируется созданием формальных моделей задач многомерного оценивания объектов на сквозном примере оценивания беспилотных летательных аппаратов. В качестве инструментальной системы рассматривается система выбора и ранжирования СВИРЬ-М, предназначенная для решения класса задач многомерного оценивания объектов. Материал рекомендован при подготовке аспирантов по научной специальности «Системный анализ, управление и обработка информации» и может быть использован студентами, обучающимися по направлению «Системный анализ и управление», в частности, при изучении дисциплин «Теория принятия решений», «Системный анализ и принятие решений», а также может быть полезен научным работникам, занятым в сфере исследования, проектирования и управления сложными объектами.