книги из ГПНТБ / Клыков, Ю. И. Ситуационное управление большими системами

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

Рассмотрим сначала простейшие виды связей, кото­ рые проявляются в совпадении лишь одной характери­ стики. По характеру пересечения планов содержания понятий будем различать два вида семантической связи между понятиями: семантическая общность и семанти­ ческая близость.

Будем говорить, что между понятиями х°, х^ су­ ществует семантическая общность, если свертка или вводимая отношением „предмет х является видом предмета у" характеристика плана содержания понятия х" является сверткой или соответствующей характе­ ристикой понятия xbi . Например, семантическая общ­ ность существует между следующими понятиями:

тическая близость понятии проявляется в том, что план выражения понятия хь является не первой характеристи­ кой плана содержания понятия х".

Рассмотрим правила образования ситуативных отно­ шений между понятиями при построении выводов в мо­ дели Мс для обоих видов семантической связи. Посколь-

Р п с 3-8.

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

Пусть задана ситуативная структура у^ = ха г^х**.

семантической общности соответственно между поня­

Рис. 3-9.

с помощью правил тождественного преобразования отношений. Сначала устанавливаются отношения гх , ге

соответственно между понятиями х°, ха. и xd, х^, затем

строится отношение между Xе, Xй. Пусть таким отно­ шением будет г р .

84

Отношение гр будем называть отношением типа се­ мантической близости. Правило вывода для случая семантической близости понятий имеет вид:

(v<) (v*J) (v*p ( v < ) ( v < ) ( v ^ ) ( К * < ) Л

Л ( < * ^ ) Л К rrf rk x] r.jcf) Л

Сопоставление планов содержания понятий при по­ строении выводов непосредственно в том виде, в каком они подаются на вход модели, в общем случае не по­ зволяет установить наличие между ними сематического соответствия.

Необходимо соответствующим образом преобразо­ вать планы содержания понятий с помощью правил тож­ дественного преобразования понятий и отношений. Кро­ ме рассмотренных выше правил тождественного преобразования понятия и отношений, в модели Мс ис­ пользуются правила, аналогичные правилам минимиза­ ции синтагматических цепей:

1) вынесение левых полюсов синтагм за скобки

Правила включения, для которых определена струк­ турная метрика, будем называть правилами корреляции понятий, а совокупность правил — корреляционной грам­ матикой.

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

85

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

Правила корреляции ситуационной модели управле­ ния морским портом отображают основные технологи­ ческие карты перевалки грузов в порту. В них содер­ жатся сведения о грузе, технологической схеме перера­ ботки груза, указания о способах и приемах работ и др. Для каждого рода груза задаются своп технологические

других условий. При погрузке грузов со склада на суд­

с помощью электропогрузчика, а погрузка на судно осу­ ществляется судовыми лебедками, то получается техно­ логическая схема «склад — электропогрузчик — автома­ шина— лебедка — судно».

Пусть правило корреляции содержит фрагмент, опи­ сывающий выполнение перегрузочных работ по схеме «склад — электропогрузчик — автомашина — лебедка — судно». В общем случае данной технологической схеме соответствует несколько видов указанных понятий: «склад» (для хранения зерна, химических грузов, леса, угля, руды и др.); «электропогрузчик» (УПМ-6, 4004, КВЗ-02 и др.); «грузовая лебедка» (однобарабанная, двухбарабанная и др.); «судно» (рудовоз, лесовоз, угле­ воз и др.). Применение погрузочно-разгрузочных средств определяется родом груза, весо-габаритиыми параметра­ ми груза, конкретными условиями . перегрузки (скоро­ стью, расстоянием перевозки, состоянием покрытий пор­ товой территории и др.). Если склад находится на зна­ чительном расстоянии от причала, то используются автомашины. При небольших расстояниях и хорошем покрытии дорог могут быть применены электротягачи

86

с тележками или автопогрузчики. Навалочные грузы перевозятся на самосвалах, а крупногабаритные транс­ портируются на безбортиых автомашинах соответствую­ щей грузоподъемности.

Если условия указанного вида отражены в правиле корреляции, то понятия, выводимые с помощью этого правила, не будут содержать фрагментов, соответствую­

ко машинами типа ПТС, УВЗ и перевозиться на зерновозах и т. д.).

Множество понятий, выводимое в корреляционной грамматике из заданного множества базовых понятий и бинарных отношений, образует структуру дискретной сети. Принцип порождаемое™, использованный в ими­ тационной модели процесса формирования структуры дискретной сети, обусловливает возможность расшире­ ния структуры сети путем пополнения множества базо­ вых единиц и корреляционной грамматики новыми эле­

3-3. ЯЗЫК ОБОБЩЕНИЯ СИТУАЦИЙ

В модели сообщения ситуаций осуществляется фор­

классы множества ситуативных структур. Обучающая последовательность ситуативных структур задается экс­ пертом, знающим цель управления и соответствующий этой цели функционал оценки качества функционирова­ ния управляемого объекта. Использование псевдофизи­ ческого языка описания "ситуаций, отображающего структуру объектов и реальные связи между ними, по­ зволяет классифицировать ситуации на основе их струк­ турной общности. Простейшие правила обобщения бази­ руются на принципе выделения одноименных фрагмен­ тов структур классифицируемых ситуаций, которые

87

рассматриваются как обоб­ щенные ситуации [Л. 58]. Контекстно-свободный ха­ рактер простейших правил обобщения приводит к об­ разованию в общем случае большого числа «пустых» обобщений, которые не мо­ гут быть использованы в. предикатах.

С практической точки зре­ ния большой интерес пред­ ставляет рассмотрение пра­ вил обобщения контекстно-

связанного характера, которые обеспечивают возмож­ ность управления процессом обобщения. Управление процессом обобщения осуществляется путем наложения ограничений на правила классификации ситуаций. Рас­ смотрим основные правила обобщения контекстно-свя­ занного вида.

Пусть х*, х^ —- понятия базовой сферы знаний, одной из первых характеристик плана содержания которых явля­ ются соответственно понятия х° , х*. Рассмотрим от­

88

Возможность образования мультиструктур обусловли­ вается транзитивным переносом отношений при построе­ нии индуктивных выводов.

На рис. 3-12 дан пример транзитивного переноса от­ ношения Гц из структур х" ruxt , х!5 гцХ™ в структуру

Мы рассмотрели правила построения обобщенных по­ нятий вида семантической общности на примере си­ туативных структур типа синтагм. В общем случае

понятий на множестве си­ туативных структур обще­ го вида вводятся следую­ щим образом. Рассмотрим

две л-вершинные ситуативные структуры у*. У)- Предста­ вим -у,-, YJ В виде конъюнкции синтагм:

n i'° = te.,"*,-*f.2) Л (-%,2<%,л-.3) Л ••• A ( V i A v+i) Л -

•• А (хг, л _ 1 Ш Л n - i - * V , n ) .

90