Еще одной важной разновидностью логико-лингвистических моделей являются логико-смысловые (семантические) модели[49]
. Логико-лингвистических моделей, ориентированная на отображение исследуемого явления (проблемы), разрабатываемого решения или проектируемого объекта посредством некоторого множества выраженных на естественном языке понятий, фиксирующая отношения между понятиями и отображающая содержательно-смысловые связи между понятиями. Характерно, что используя тот же аппарат, эта разновидность логико-лингвистических моделей ориентирована на несколько иной вид деятельности — а именно, на поиск решения, его синтез из ранее имевших место прецедентов, существующих описаний предметной области или описаний путей решения группы близких по содержанию проблем. По существу этот метод моделирования представляет собой метод поиска решения некоторого комплекса задач на основе анализа совокупности формализованных знаний о некоторой сложной системе. Условно применение данного метода можно описать как циклически повторяемую последовательность из двух процедур: процедуры построения системы высказываний, отражающих знания о системе, и процедуры анализа полученной совокупности знаний с применением ЭВМ (правда, на определенных этапах реализации метода требуется участие эксперта).Знания о системе представляются в виде семантической сети, отражающей совокупность элементов информации о системе и связей, отражающих смысловую близость этих элементов.
Метод логикосмыслового моделирования был разработан в нашей стране в первой половине 1970-х годов в качестве инструмента для подготовки, анализа и совершенствования комплексных решений, принимаемых на различных уровнях отраслевого и межотраслевого управления на основе смыслового (семантического) анализа информации. Выделяется следующие два направления применения логико-смыслового моделирования:— формирование и оценка проектных решений;
— анализ и оптимизация организационных структур.
Элементами логико-смысловой модели являются высказывания на естественном языке (когнитивные элементы) и связи, существующие между явлениями и объектами, которые отражают эти высказывания. Из совокупности когнитивных элементов и связей получается сеть, описывающая проблемную область.
Семантическая сеть — это разновидность модели, отображающая множество понятий и связей между ними, обусловленных свойствами моделируемого фрагмента реального мира
. В общем случае семантическая сеть может быть представлена в виде гиперграфа, в котором вершины соответствуют понятиям, а дуги — отношениям. Такая форма представления обеспечивает большую простоту реализации отношений типа «многие ко многим», нежели иерархическая модель. В зависимости от типов связей, различают классифицирующие, функциональные сети и сценарии. В классифицирующих семантических сетях используются отношения структуризации, в функциональных — функциональные (вычислимые) отношения, а в сценариях — причинно-следственные (каузальные) отношения. Разновидностью семантической сети является фреймовая модель, реализующая «матрешечный» принцип раскрытия свойств систем, процессов и т. п.Логико-смысловые модели позволяют формировать тематически связные описания различных аспектов проблемы (равно, как и проблемы в целом) и проводить структурный анализ проблемной области. Тематически связные описания получаются за счет выделения из общей совокупности когнитивных элементов логико-смысловой сети некоторых тех, которые непосредственно относятся к заданной тематике. В качестве частного примера применения логико-смыслового моделирования можно рассматривать гипертекстовые системы, получившие широкое распространение в глобальной телекоммуникационной сети Интернет.
В качестве когнитивных элементов могут выступать не только знания, но и высказывания иного характера, например описания отдельных задач
. В этом случае логико-смысловые модели могут использоваться для решения проблемы выявления и анализа взаимосвязанных комплексов задач, их декомпозиции и агрегирования, для построения деревьев целей и задач.