Вид документа : Статья из журнала Шифр издания : 681.5/Б 33 Автор(ы) : Башлыков, Александр Александрович (кандидат технических наук; доцент), Заглавие : Семиотические системы как средство описания моделей предметной области управления, процессов оценки ситуаций и интеллектуальной поддержки принятия решений / А. А. Башлыков Серия: Информационные, измерительные, экспертные, обучающие системы Место публикации : Автоматизация, телемеханизация и связь в нефтяной промышленности. - 2013. - № 5. - С. С. 3-15 (Шифр А55/2013/5) Примечания : Библиогр.: с. 15 (17 назв. ) УДК : 681.5 + 622.276 ББК : 32.81 + 33.36 Предметные рубрики: Радиоэлектроника Кибернетика Горное дело Разработка нефтяных и газовых месторождений Аннотация: В статье рассмотрены вопросы использования математического аппарата семиотических систем для построения средств интеллектуальной поддержки принятия решений лицами оперативно-диспетчерского персонала. Определяется аппарат формализации понятий "семиотическая модель", "семиотическая система". Описываются методы взаимодействия формальных моделей в рамках семиотической системы. Представляются логико-вычислительные средства для автоматизации процессов решения задач для информационной поддержки принятия решений. В качестве механизма автоматизации предлагается использовать методы дедуктивного логического вывода и планирования процессов поиска. Эти методы базируются на доказательстве истинности теорем о существовании решения задач в некоторой предметной области.