Аналитика: методология, технология и организация информационно-аналитической работы - Юрий Курносов

Знания о системе представляются в виде семантической сети, отражающей совокупность элементов информации о системе и связей, отражающих смысловую близость этих элементов. Метод логикосмыслового моделирования был разработан в нашей стране в первой половине 1970-х годов в качестве инструмента для подготовки, анализа и совершенствования комплексных решений, принимаемых на различных уровнях отраслевого и межотраслевого управления на основе смыслового (семантического) анализа информации. Выделяется следующие два направления применения логико-смыслового моделирования:

— формирование и оценка проектных решений;

— анализ и оптимизация организационных структур.

Элементами логико-смысловой модели являются высказывания на естественном языке (когнитивные элементы) и связи, существующие между явлениями и объектами, которые отражают эти высказывания. Из совокупности когнитивных элементов и связей получается сеть, описывающая проблемную область.

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

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

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

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

Логико-смысловое моделирование позволяет выявить на основе анализа текстов, сформулированных различными экспертами, скрытые зависимости между различными аспектами проблемы, на взаимосвязь которых не указывалось ни в одном из предложенных текстов, а также произвести объективное ранжирование проблем и задач по их важности. Анализ графа позволяет обнаружить неполноту модели, локализовать те ее места, которые нуждаются в пополнении системы связей и элементов. Это становится возможным благодаря построению взаимосвязанной системы высказываний о предметной области объекта и автоматизированного выделения и структурирования высказываний, характеризующихся семантической близостью.

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

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

2.5 Логические модели

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

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

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

В соответствии с последними замечаниями, при рассмотрении логических моделей следует выделять два типа моделей: модели, решаемые по силлогической схеме, и модели, решаемые по полисиллогической схеме. Первый способ анализа системы высказываний требует достаточно громоздких логических вычислений, для которых трудно реализовать процедуры сокращения операций перебора, поскольку пары высказываний должны быть подобраны на основе применения семантических критериев (иначе получится задача, составленная из высказываний типа: «в огороде бузина = Истина, а в Киеве — дядька = Ложно» — выводы из такой системы посылок строить дело неблагодарное). Для полисиллогических моделей существуют методы сокращения вычислений, однако вопросам методологического и технологического обеспечения решения полисиллогизмов в настоящее время уделяется недостаточное внимание. На сегодня теоретическими и прикладными вопросами, связанными с решением полисиллогичеких задач, занимается сравнительно небольшое число ученых, среди которых — наши соотечественники Б.А. Кулик и А.А. Зенкин. Актуальность методов решения полисиллогизмов объясняется ростом потребностей, связанных с анализом потоков сообщений, потенциально содержащих противоречивые высказывания, либо предоставляющих неполную аргументацию, для анализа чего и целесообразно использовать методы решения полисиллогизмов.