Читаем Аналитика полностью

— закономерность;

— закон.

Располагая знаниями высшего уровня (зная закон) исследователь мене всего стеснен в выборе средств моделирования. Однако в большинстве же случаев такой свободы нет. Например, отсутствие достаточного объема знаний о системе не позволяет построить модель более высокой степени формализации, нежели вербальная или логико-лингвистическая модель типа сценария. Такая ситуация возникает тогда, когда причинно-следственные отношения не выявлены, структура системы и отношения между компонентами установлены лишь частично и подлежат уточнению, что соответствует знаниям уровня гипотезы или теории в предложенной иерархии.

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

Однако на практике чаще встречается ситуация, когда некоторая формальная система позволяет адекватно описывать феномены различного происхождения — так обстоит дело со многими математическими формальными системами, полученными в результате развития естественнонаучных дисциплин (таковы дифференциальное, интегральное исчисление, теория множеств и иные). Выявление подобных закономерностей в свое время стимулировало развитие теории систем. А прием метафорического переноса формальных представлений на смежные (а порой — и на весьма отдаленные) предметные отрасли прочно укоренился в современной науке и практике синтеза моделей.

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

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