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

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

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

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

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

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

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

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

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

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

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

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