Экспертная верификация при использовании формальных когнитивных карт. подходы и практика

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