Аналитика: методология, технология и организация

Данный тип моделей характеризуется более высокой степенью формализации. Формализация затрагивает преимущественно логический аспект существования/функционирования моделируемой системы. При построении логико-лингвистических моделей широко используется символьный язык логики и формализм теории графов и алгоритмов. Логические отношения между отдельными элементами модели могут отображаться с применением выразительных средств различных логических систем (краткая характеристика которых была приведена ранее в этой книге). При этом строгость логических отношений может варьироваться в широких пределах от отношений строгого детерминизма до отношений вероятностной логики. Существует возможность построения логико-лингвистических моделей в базисе нескольких формальнологических систем, отражающих различные аспекты функционирования системы и знаний о ней.

» С Наиболее распространенным способом формального представления ()Р\ логико-лингвистических моделей является граф. Граф — это | формальная система, предназначенная для выражения отношений между элементами произвольной природы, оперирующая модельными объектами двух типов: вершина (точка), символизирующая элемент, и ребро (дуга, связь), символизирующее отношение между связываемыми им элементами. В математической интерпретации граф представляет собой формальную систему, описываемую, как G=(X,U), где Х — множество вершин, U — множество ребер (дуг). Граф состоит из упорядоченных пар вершин, причем одна и та же пара может входить в множество U любое число раз, описывая различные виды отношений. Классический пример графа приведен на рис. 2.4.

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

В качестве примера графа также можно использовать привычные нам иерархические классификации в виде прямоугольников, связанных линиями, схемы метрополитена, технологические карты и т. п. документы.

Для логико-лингвистических моделей в роли вершин графа выступают атомарные (примитивные) или сложные утверждения на естественном языке или символы, их заменяющие. Связи могут маркироваться различным образом, с тем, чтобы наиболее полным образом охарактеризовать тип связи (отношения). В частности, дуги могут отображать и наличие функциональных зависимостей, операционных связей (входная ситуация — операция — выходная ситуация) — в этих случаях дуги маркируются специальным образом. » f В зависимости от характера отображаемых с помощью графа ()0\ отношений, граф может развертываться с привязкой к некоторой ^ f шкале (например — шкале времени) — шкале, отображающей введенную в рамках данной модели метрику. Метрика — это некоторое правило, на основании которого в рамках некоторой модели могут осуществляться операции сравнения объектов, их состояний, определения расстояния между точками в некотором пространстве признаков. Кроме того, метрикой часто называют, собственно, параметр, значение которого определяется в соответствии с введенным правилом.