СРЕДСТВА РЕАЛИЗАЦИИ ИНСТРУМЕНТАЛЬНОЙ ОБОЛОЧКИ ДЛЯ СОЗДАНИЯ ЭКСПЕРТНЫХ СИСТЕМ, ОСНОВАННОЙ НА ГРАММАТИЧЕСКОМ ПОДХОДЕ

Лучший способ устранения недостатков существующих методов формирования моделей САПР - использование семиотической модели (СМ) – как формы представления модели САПР.

СМ СМ ЦПС ПОС ЦПС ПОС Грамматика Грамматика Грамматика Грамматика ЦПС ПОС

Для реализации CМ существует алгоритм выполнения теоретико- множественных операций над контекстно-свободными(КС) грамматиками в среде специализированной оболочки для создания интеллектуальных САПР.

Основные определения алгоритма 1. Термы: a, b, c,…; 2. Синтермы: K, L, S,…; K L K L & V V & V V a b d e K a b d e K 3. Если 2 множества совпадают по имени они эквивалентны по структуре

L L L L & V V & V V a b d e K a b d e K 4. Одна и та же структура может иметь много разных форм записи: L M L M & & & & a b a b a b a b

Грамматика - аналог И-ИЛИ дерева, т.е. не имеет циклов и рекурсий. S & a S a S & & & a … a …

Наша задача - разработка алгоритма выполнения теоретико- множественных операций над контекстно-зависимыми(КЗ) грамматиками. КЗ-грамматика – это КС- грамматика, над которой определены продукции семантической зависимости: КЗ-грамматика – это КС- грамматика, над которой определены продукции семантической зависимости: - явные - неявные

Инструментальные средства реализации алгоритма

Базовые структуры данных алгоритма Наиболее гибкая и логически обоснованная для рассматриваемого алгоритма структура данных – класс. ТЕРМ ТЕРМ значение значение

СИНТЕРМ СИНТЕРМ имя имя знак операции знак операции список объектов список объектовполучить_следующий_элементпустой

ГРАММАТИКА имя корня грамматики правила создание, загрузка, сохранение грамматики методы, реализующие функциональность алгоритма методы, реализующие общую функциональность метод, реализующий выделение новой грамматики из исходной. метод, который возвращает язык данной грамматики в виде множества всех слов языка

Используя вышеперечисленные классы и их методы, можно реализовать алгоритм выполнения ТМО над грамматиками, что позволит породить из грамматики ПОС и грамматики ЦПС новую грамматику, с помощью которой и будет осуществляться вывод новообразованной системы. Используя вышеперечисленные классы и их методы, можно реализовать алгоритм выполнения ТМО над грамматиками, что позволит породить из грамматики ПОС и грамматики ЦПС новую грамматику, с помощью которой и будет осуществляться вывод новообразованной системы.