52 повышает возможности существующих МГ по управлению на основе полученных значений атрибутов процессами динамического управления выбором (ограничением) множества вариантов решений на этапах генерации и анализа вариантов принимаемых решений в процессе выбора стратегий и программ управления рассматриваемого класса. Класс ОП МГ является развитием общего теоретического аппарата метаграмматик путем добавления в схему метаграмматики нового класса правил согласования типа «атрибутметка продукции» или «оценка атрибутаметка продукции» с соответствующими интерпретациями.. Аналогично другим классам метаграмматик, ОП МГ допускают применение схем МГ с гораздо менее жесткими ограничениями на множества используемых правил согласования (продуцируемых действий и управляющих воздействий одних грамматик на другие) между входящими в них грамматиками, что позволяет синтезировать представительный класс ОП МГ, ориентированных на эффективное решение более широкого класса прикладных задач управления в рассматриваемой области. Входящее в ОП МГ множество грамматик {Gj} может быть как конечным, так и бесконечным. В последнем случае должна быть решена проблема порождения (перечисления, рекурсивного задания) множества {G;} и его элементов. В дальнейшем, аналогично [42, 51], будем рассматривать только конечные множества {Gj}. Входящие в эти множества грамматики могут отличаться по типу используемых правил подстановки, различных экстралингвистических отношений, задаваемых мер (вероятностных, нечетких) на множестве правил подстановки. То есть при спецификации (моделировании) СиПО с использованием ОП МГ, аналогично |
64 [96] (ГС), создающих формальный базис решения представительного класса задач в рассматриваемой прикладной области исследований. В данном разделе приводятся основные результаты создания и развития формального аппарата теории ГС и особенности его практического применения для решения рассматриваемого класса задач. В основе предлагаемого подхода к формальному описанию РСДЗ лежит понятие грамматической сети, которую определим как формальную систему следующего вида [96]. Определение 2.1. Грамматической сетью будем называть систему G=<{Gi}, {Hik},F>, где {Gj}-множество грамматик определенного вида i=l(l)N; F-набор правил управления ГС, определяющих в виде соответствующей сети правила управления (определенного рода управляющих и порождающих отображений) между грамматиками множества {Gj}; {Hj}-множество правил погружения для грамматик {Gj}, определяющее наборы правил связи элементов грамматик {Gj} и правил управления сети F. Таким образом, ГС представляет собой сеть взаимосвязанных грамматик, в которой правила управления и погружения задают систему правил взаимодействия (порождения, следования, влияния, разрешения/запрещения и т.п.) грамматик {Gj}. Являясь обобщением и дальнейшим развитием многоуровневых грамматических структур, основанных на системах подстановок и впервые явно описанных в работах [29, 30], многоуровневых метаграмматик [25, 26], модификаций семантических сетей [149, 150, 157, 174], ГС допускают применение сетевых схем в грамматических системах с гораздо менее жесткими ограничениями на множества используемых правил управления (продуцируемых действий и управляющих воздействий одних грамматик на другие) между входящими в них грамматиками, что позволяет 65 тЧ* синтезировать более представительный класс сетевых грамматических структур, ориентированных на решение более широкого класса прикладных задач управления. Входящее в ГС множество грамматик {Gi} может быть как конечным, так и бесконечным. В последнем случае должна быть решена проблема порождения (перечисления, рекурсивного задания) множества {Gj} и его элементов. В дальнейшем, аналогично [96], будем рассматривать только конечные множества {Gj}. Входящие в эти множества грамматики могут отличаться по типу используемых правил подстановки, различных экстралингвистических отношений, задаваемых мер (вероятностных, нечетких) на множестве правил подстановки. То есть при спецификации (моделировании) РСДЗ с использованием ГС, аналогично многоуровневым метаграмматикам, допустим практически полный спектр известных классов формальных грамматик. Определение 2.2. Классификация ГС по типу правил подстановки). Будем называть ГС грамматической сетью типа i и обозначать G(i), если в ней используются грамматики типа i и j (i Если хотя бы один элемент множества {Gj} является грамматикой типа 2 (контекстно-свободной грамматикой), то ГС относится к типу 2 (контекстно-свободная ГС). То же самое относится к неограниченным (типа 0) и контекстнозависимым (типа 1) ГС. ГС, аналогично другим грамматическим системам, может содержать как однотипные, так и разнотипные грамматики, отличающиеся использованием дополнительных элементов и отношений между входящими в них элементами (грамматики предшествования, |