Юрий Курносов - Аналитика: методология, технология и организация информационно-аналитической работы

Если теория была сформулирована ранее, из нее заимствуются соответствующие методы формального описания системы. В противном случае методы формального описания заимствуются из других теорий или разрабатываются новые (что случается реже). При синтезе методов формального описания чрезвычайно продуктивен «прием метафоры », заключающийся в поиске сходства с ранее изученными феноменами и уподоблении им наблюдаемых. Данный прием входит в число методов активизации использования интуиции и опыта специалистов. При этом формулируется гипотеза о подобии наблюдаемых процессов тем процессам и явлениям (а также переносимости закономерностей и законов, свойственных им), которые были избраны на этапе выбора метафоры.

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

Формальные модели, построенные с применением этих методов, получают названия, сходные с названиями использованных методов, однако могут включать в себя и термины, характеризующие и иные свойства моделей, а именно:

— характеристика стабильности модели/системы (статические и динамические модели, модели параметрической, структурной и функциональной динамики т. д.);

— характеристика среды функционирования, степени устойчивости причинно-следственных отношений, степени неопределенности исходных данных (детерминированные, стохастические, логические модели, модели нечеткой логики);

— характеристика целенаправленности системы/процесса (целенаправленные, гомеостатические, нецеленаправленные);

— характеристика состава системы/участников процесса (социальные, организационно-технические, эргатические, экологические, технические и т. п.).

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

Потеря семантики предметной области является характерной чертой большинства методов строгого формального представления систем — этот феномен наблюдается при переходе на высокие уровни абстракции описаний. Так, например, выражение А+В=С может выражать практически любое тернарное отношение между некими сущностями, семантическую компоненту которого возможно восстановить лишь с привлечением внешнего тезауруса. По этой причине во избежание потери содержательности модели развитие формальной модели всегда синхронно с построением строгого тезауруса предметной области.

Соответственно, приходим к определению понятия формализации.

Формализация — это процесс описания теорий, закономерностей, законов и иных осмысленных в данной предметной области предложений и высказываний с помощью формальных средств, прежде всего — символов математики и математической логики . В ряде приложений в качестве символов используются слова языка естественного общения, приобретшие статус терминов, то есть слова и словосочетания, имеющие четко установленный объем понятия или содержание. Систему таких символов и правил обращения с ними называют формализмом данной науки.

Определим также и понятие «термин». Термин (от лат terminus — граница, предел) — это слово или совокупность слов, предназначенных для обозначения некоторого строго определенного класса сущностей и отношений реального или идеального (мыслимого, виртуального) мира. В отличие от обычных слов, термин представляет собой стандартизованный элемент формальной системы и его употребление для обозначения некоторого класса сущностей является обязательным в рамках установленной терминологии. Часто для обозначения компонентов термина используют термин « терм », указывая тем самым на его несамостоятельность. Любое усечение термина приводит к увеличению объема понятия (в этом случае из исходного термина получается другой термин) или к потере разграничительной функции термина (термин перестает быть термином). Совокупность терминов, используемых в некоторой предметной области называется терминологией или лексиконом предметной области.

Последнее, вводимое в данном разделе понятие — это тезаурус.

Тезаурус, применительно к процессу синтеза формальных систем, — это система, образованная проекцией терминологии, установленной в заданной предметной области, на формальную модель данной предметной области . Степень формализации модели для тезауруса устанавливается исходя из потребностей субъекта, использующего тезаурус. Для тезаурусов, предназначенных для описания сложных систем, существует возможность их иерархической организации , а также установления некоторого уровня формализации описаний, необходимого и достаточного для решения некоторого класса задач, связанных с необходимостью выражения сущностей и отношений предметной области.

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

Синонимов для обозначения этого типа моделей существует масса. Приведем наиболее распространенные из числа названий:

— вербальные модели;

— концептуальные модели;

— понятийные модели;

— лингвистические модели;

— естественно-языковые модели.

В иерархии формальных моделей вербальные модели занимают почетное место в основании этой «пирамиды». Такое положение действительно почетно, поскольку вербальные модели — это «альфа» и «омега» многоэтапного процесса моделирования — с этапа синтеза вербальной модели начинается процесс поэтапной формализации и вербальная же (в большинстве случаев) модель формируется на заключительном этапе функционирования модели. Это вызвано вполне понятными причинами — формализм вербальной модели легко воспринимается широким классом потребителей, а синтез вербальной модели (по крайней мере, в первом приближении) может быть осуществлен и специалистом, не обладающим специальными навыками в области построения формальных моделей. Благодаря тому, что языки естественного общения не ограничены рамками узкой предметной области, вербальные модели обладают наивысшей выразительной способностью и часто используются как инструмент интеграции формальных моделей и результатов их применения.