Анализ результатов психологического исследования работников

Анализ результатов психологического исследования реального процесса принятия решений, проведенного в этих работах, показывает, что этот процесс базируется не на формальном языке дискретных автоматов и алгебраических систем, как принято считать в современной теории проектирования, а на семиотическом языке. Есть все основания полагать, что использование семиотического языка и базирующихся на нем систем автоматизированного проектирования позволит преодолеть многие принципиальные трудности, с которыми сейчас столкнулись разработчики АСПР. Рассмотрим принципы построения семиотических систем проектирования. Разрабатываемые в настоящее время системы проектирования, основанные на теории формальных систем, имеют ряд принципиальных ограничений, обусловленных отсутствием а их составе обучающих средств накопления знаний о системе управления и их использования для выбора целесообразных путей построения моделей и законов управления. Сущность формальной системы, по определению английского математика Тьюринга, это совокупность словаря знаков (аксиом) и грамматики (правил вывода). Множество цепочек знаков, порождаемое над словарем, образует формальный язык. Любая последовательность знаков, порождаемая в формальной системе, считается синтаксически правильной (внутренне непротиворечивой). Но по отношению к области интерпретации эта последовательность может быть противоречивой, а сама формальная система — неполной.