Cредства реализации инструментальной оболочки для
advertisement
СРЕДСТВА РЕАЛИЗАЦИИ ИНСТРУМЕНТАЛЬНОЙ ОБОЛОЧКИ ДЛЯ СОЗДАНИЯ ЭКСПЕРТНЫХ СИСТЕМ, ОСНОВАННОЙ НА ГРАММАТИЧЕСКОМ ПОДХОДЕ Лучший способ устранения недостатков существующих методов формирования моделей САПР - использование семиотической модели (СМ) – как формы представления модели САПР. СМ ЦПС Грамматика ЦПС ПОС Грамматика ПОС Для реализации CМ существует алгоритм выполнения теоретикомножественных операций над контекстно-свободными(КС) грамматиками в среде специализированной оболочки для создания интеллектуальных САПР. Основные определения алгоритма 1. Термы: a, b, c,…; 2. Синтермы: K, L, S,…; K L & a V b d V e K 3. Если 2 множества совпадают по имени они эквивалентны по структуре L L & a V b d V e K 4. Одна и та же структура может иметь много разных форм записи: a L M & & b a b Грамматика - аналог И-ИЛИ дерева, т.е. не имеет циклов и рекурсий. S & a S & a S & a … Наша задача - разработка алгоритма выполнения теоретикомножественных операций над контекстно-зависимыми(КЗ) грамматиками. КЗ-грамматика – это КСграмматика, над которой определены продукции семантической зависимости: - явные - неявные Инструментальные средства реализации алгоритма Базовые структуры данных алгоритма Наиболее гибкая и логически обоснованная для рассматриваемого алгоритма структура данных – класс. ТЕРМ значение СИНТЕРМ имя знак операции список объектов получить_следующий_элемент пустой ГРАММАТИКА имя корня грамматики правила создание, загрузка, сохранение грамматики методы, реализующие функциональность алгоритма методы, реализующие общую функциональность метод, реализующий выделение новой грамматики из исходной. метод, который возвращает язык данной грамматики в виде множества всех слов языка Используя вышеперечисленные классы и их методы, можно реализовать алгоритм выполнения ТМО над грамматиками, что позволит породить из грамматики ПОС и грамматики ЦПС новую грамматику, с помощью которой и будет осуществляться вывод новообразованной системы.
