Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Основы информационной безопасности-nov3.doc
Скачиваний:
0
Добавлен:
01.03.2025
Размер:
1.69 Mб
Скачать

4.6. Формальная теория информационной войны

4.6.1. Формализация логики целей (формальная модель мира)

Здесь мы опишем формальные конструкции, ориентированные на формализацию стратегий работы с моделями41.

Для этого введем следующие обозначения:

x,y,z  информационные субъекты, в роли которых могут выступать любые активные элементы, в частности, информационным субъектом может быть и алгоритм;

n – число, используется для задания значимости модели (веса модели) для мира;

А,B,C,D...  конкретные информационные объекты, имеющие имена собственные, в частности, в этой роли могут выступать и обычные сообщения, типа «идет дождь»;

Т, W1,W2,Wi  миры, в которых функционируют информационные системы. Например: T= x+y+z+А, или T= x+2y;

X1,X2,...Xi, Y1,Y2,...Yi  модели мира, создаваемые, соответственно, субъектами x1,x2,...xi, y1,y2,...yi;

«»  операция осознание, результатом которой является возникновение внутри информационной системы определенной модели. На практике операция осознания предполагает интеграцию информационного объекта в мир информационного субъекта. Внешний мир с определенной долей искажения переносится внутрь информационной системы. Результат операции осознания будем записывать следующим образом: хТ или (хТ), или хТ. Применение операции осознания к внешнему миру предполагает создание его модели. Повторное применение операции осознания предполагает создание модели модели мира  ххТ или ххТ;

«+»  операция расширения мира, результатом этой операции является появление объекта в мире;

«-»  операция исключения объекта из мира;

«-»  операция отрицания, означает, что информационный объект, перед идентификатором которого стоит данный знак, в этом мире отсутствует;

  обозначение пустого мира;

«()»  скобки используются аналогично скобкам при выполнении операций умножить, сложить, вычесть;

I  оператор осознания мира неинформационным существом, в ходе применения которого не происходит никакого осознания, т.е. применение этого оператора не изменяет картины мира;

«[]» квадратные скобки имеют двойное назначение. Во-первых, они используются для выделения отдельных объектов, присущих тому миру, перед которым поставлены. Например, запись W[A,B,-С] означает, что для мира W, кроме всего прочего, характерно нахождение в нем объектов А, В и отсутствие объекта С. Во-вторых, если они поставлены после идентификатора того или иного информационного объекта, то в скобках через запятую перечисляются его свойства, например, x[«мудрый», «богатый»].

Картина мира должна отражать как существующее состояние мира, так и направления изменения мира. Ибо сущность рассматриваемых здесь моделей состоит в формировании будущего, как своего, так и своего хозяина. В этой связи именно операции включения и исключения из мира носят онтологический характер, являясь по своей сути целеполагающими действиями. Для того чтобы различать модели, соответствующие эмпирическим объектам, и модели, находящиеся в поиске эмпирических объектов, в дальнейших описаниях картин мира имена моделей, принадлежащих будущему, т.е. целей системы, будем подчеркивать. Так, например, запись W[+x,-y,-z] означает, что в мире W кроме всего прочего присутствует модель x, обязательно отсутствует модель y, а сам мир пытается избавиться от модели z, а значит и от соответствующего модели z эмпирического объекта.

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

W = T + x + y + xT + yT.

При этом X = xT, Y = yT.

Введем следующие правила применения операций:

  1. Расширение мира n раз за счет одного и того же объекта повышает значимость этого объекта:

T + xT + xT = T + 2xT .

  1. Исключение из мира n раз одного и того же объекта понижает значимость этого объекта для мира:

T - xT - xT = T - 2xT.

xT – xT = .

  1. Исключенным из мира может быть только объект, находящийся в мире. При этом исключение объекта не приводит к исключению из мира моделей, внутри которых присутствует этот объект. Исключение из мира субъекта, способного создавать модели, приводит к уничтожению всех созданных им моделей, если созданные модели ранее не были спроецированы в эмпирический мир, т.е. не были закреплены за другими объектами:

x + xА + xy + А + y + yA + yxA - А – y = x + хА + xy.

При этом, если исключенный объект обладал какими-либо другими объектами, например, ресурсами, то эти ресурсы, будучи сами по себе эмпирическими объектами, приобретают самостоятельность. Например, x[y] + z -x = z + y.

  1. Осознание независимых объектов порождает независимые модели:

x(T + yT) = xT + xyT.

xT + xyT = x(T + yT).

  1. Операция осознания не обладает свойством коммутативности:

xT  Tx.

  1. Операции расширения мира и исключения из мира обладают свойством коммутативности:

xT + yT = yT + xT.

7) Цель создания субъектом моделей  получение прогноза, т.е. нового информационного объекта (сообщения или алгоритма). Факт порождения моделью информационного объекта будем записывать следующим образом:

s1А1  А2.

Кроме того, модель может порождать субъекты, например, компьютерная программа, зараженная вирусом, способна создать новый субъект: s1А1  s2, где А1  условия самовоспроизведения s1.

Факт s1, заключающийся в исключении из мира объекта А1, может быть записан еще и следующим образом: s1  - А1. Если факт s1 заключается в исключении из мира объекта А1 субъектом х, то подобное будем записывать в виде: s1  -хА1. По образу и подобию будем записывать факты включения объектов в мир. Так например, запись W[+хА1] означает, что в мире W обязательно присутствует объект А1, и при этом субъект х ответственен за включение в мир W объекта А1.

Операции «+» и «-» имеют непосредственное отношение к понятию «событие», порожденного причиной и поводом. Появление или исключение из мира объекта и является событием для этого мира.