58 2.2. Классификация оценочнопродукционных метаграмматик, используемых для моделирования вариантов программ и стратегий обучения Рассмотрение представленных выше основных понятий и определений ОП МГ сетей как метаграмматических систем, ориентированных на использование в качестве формальной основы моделирования СиПО [19-32], позволило в рамках введенных определений провести классификацию ОП МГ в соответствии со следующей системой основных признаков. 1. Признаки, характеризующие множество {GJ: мощность множества {G;}; тип правил подстановки в грамматиках {Gj}; однородность множества {GJ; тип дополнительных (экстралингвистических) правил в грамматиках, входящих в ОП МГ; особенности задания мер на множествах правил подстановки грамматик {GJ; тип применяемых специальных форм грамматик. 2. Признаки, характеризующие схему правил согласования ОП МГ: мощность множества правил согласования; особенности общей схемы правил согласования; однородность правил согласования; тип правил согласования; особенности задания мер на множестве правил согласования; однозначность правил согласования. |
71 используемых в существующих и перспективных РСУ. Предложенная формализация основных понятий теории ГС создает необходимый базис для классификации и исследования основных свойств ГС применительно к решаемым прикладным задачам. 2.2. Классификация грамматических сетей, используемых для формального описания разнородных сложноструктурированных данных и знаний Рассмотрение представленных выше основных понятий и определений грамматических сетей как формальных грамматических систем, ориентированных на использование в качестве формальной основы спецификаций и моделирования РСДЗ [81-89, 94-96,100], позволило в рамках введенных определений провести классификацию ГС в соответствии со следующей системой основных признаков. 1. Признаки, характеризующие множество {Gi}: мощность множества {Gj}; тип правил подстановки в грамматиках {Gi}; однородность множества {Gi}; тип дополнительных (экстралингвистических) правил в грамматиках, входящих в ГС; особенности задания мер на множествах правил подстановки грамматик {G;}; тип применяемых специальных форм грамматик. 2. Признаки, характеризующие схему правил управления ГС: мощность множества правил управления; особенности общей схемы правил управления; однородность правил управления; тип правил управления; |