20018

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Глава в книге

Название: 

Interdisciplinary Approach to Verification in Decision-Making with Formal Methods

ISBN/ISSN: 

978-1-62100-500-1

Наименование источника: 

  • Handbook on Psychology of Decision-Making: New Research. Series: Psychology of Emotions, Motivations and Actions

Город: 

  • Hauppauge, USA

Издательство: 

  • Nova Science Publishers

Год издания: 

2012

Страницы: 

89-111
Аннотация
В практическом решении проблем и принятии решений в сложных и плохо структурированных ситуациях все более широко используются когнитивные карты и методы на их основе. Проблема рисков из-за человеческого фактора в этой области обусловлена неизбежным и существенным участием людей в решении практических проблем при поддержке формальными методами, по крайней мере, для формализации первичных представлений о проблемной ситуации. Из-за участия людей такие методы, в принципе, являются рискованными для достоверности результатов. Чтобы ограничить роль рисков из-за человеческого фактора для достоверности результатов и прямых ошибок, выдвинут принцип сквозной верификации, начиная с проверки теоретических предположений и обоснований применяемого метода до проверки формализованных экспертных знаний и представлений о проблемной ситуации. Чтобы соединить традиции нормативного подхода к разработке средств для верификации когнитивных карт с описательным знанием когнитивных процессов в ходе успешной «самопроизвольной» верификации в рамках когнитивной картографии, предло-жено объединить экспертную верификацию с предопределенными критериями, которым должен удовлетво-рять объект верификации, с верификацией без любых предопределенных критериев. Для объяснения когнитивных механизмов, лежащих в основе «самопроизвольной» верификации экспертов, и более эффективного использования их ресурсов в целях повышения качества различных приложений, оригинальная междисциплинарная модель когнитивного процесса экспертной верификации (EV-модель) предложена. EV-модель сочетает понятия и идеи когнитивных наук («детекторы ошибок» (Bekhtereva, 1971), «когнитивный диссонанс» (Festinger, 1957), «когнитивный контроль», «доступность эвристик») с компьютерной метафорой системы прерываний. Она позволяет объяснять процессы верификации разных типов объектов, и предназначена для комплексного развития теоретических и инструментальных средств поддержки экспертной верификации, в том числе и верификации с предопределенными критериями. Выте-кающие из описанной модели предположения (1) о высокой когнитивной нагрузке на человека в ходе идентификации ошибочных или сомнительных свойств объекта верификации при ограниченных ресурсах (таких как внимание, рабочая память), (2) о возможности снижения нагрузки за счет подходящих методов визуализации карты, объясняют факт значимого влияния методов визуализации на эффективность верификации, обнаруженный в реальных примерах.

Библиографическая ссылка: 

Абрамова Н.А. Interdisciplinary Approach to Verification in Decision-Making with Formal Methods / Handbook on Psychology of Decision-Making: New Research. Series: Psychology of Emotions, Motivations and Actions. Hauppauge, USA: Nova Science Publishers, 2012. С. 89-111.