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

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

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

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

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

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

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