От ситуационного управления к семиотическому моделированию

В начале 70-х годов в Москве начал работать постоянный семинар под названием «Семиотические методы управления в больших системах», на котором возник термин «Семиотическое моделирование». Этот термин означал методологию построения и использования моделей управления на основе логических и лингвистических средств.

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

Определение. Семиотической системой W называется упорядоченная восьмерка множеств:

W=,.

где.

T — множество основных символов;

R — множество синтаксических правил;

A — множество знаний о предметной области;

P — множество правил вывода решений (прагматических правил);

— правила изменения множества T;

— правила изменения множества R;

— правила изменения множества A;

— правила изменения множества P.

Если первые два множества порождают язык системы W, то и осуществляют его изменение.

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

Правила изменяют прагматику системы. Например, звонок в дверь иногда означает, что надо отпереть замок. Но он же может означать, что надо побыстрее спрятаться, например, в ванную комнату. Решение зависит от ситуации!

Те обстоятельства, что изменения касаются четырех сущностей и они (изменения) связаны между собой, привели к следующим соображениям: на самом деле, речь идет не о четырех независимых сущностях, а об одной, а упомянутые четыре (якобы) сущности являются ее компонентами. Эта единая сущность и есть знак. Принципиальное отличие от идей классической семиотики состояло в том, что знак в прикладной семиотике наделялся четырьмя компонентами а не тремя, как в классической.

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

Поговорим немного подробнее о некоторых компонентах семиотической системы.