Дифференцированный подход к квалификации пользователя в
реклама
СПЕЦИАЛИЗИРОВАННАЯ ИНСТРУМЕНТАЛЬНАЯ ОБОЛОЧКА ДЛЯ АВТОМАТИЗАЦИИ СОЗДАНИЯ ИНТЕЛЛЕКТУАЛЬНЫХ САПР С ДИФФЕРЕНЦИРОВАННЫМ ПОДХОДОМ К КВАЛИФИКАЦИИ ПОЛЬЗОВАТЕЛЯ Основная идея интеллектуальной САПР Основная идея интеллектуальной САПР – это передача знаний от эксперта-человека компьютерной программе – экспертной системе. Автоматизация создания интеллектуальных САПР Написание «с нуля» для каждого эксперта отдельную САПР крайне проблематично и затратно, поэтому появилась идея автоматизации процесса создания САПР. Недостатки существующих САПР(в частности GURU, G2 и др) не учитывается наличие уже существующих проблемноориентированных САПР; не учитывается квалификация эксперта; нет функций документирования, моделирования; Один из путей преодоления недостатков Автоматизировать формирование текстов моделей на языке описания моделей, характерный для выбранного класса проблемно-ориентированных САПР. С помощью: семиотической модели [1]; модифицированной сложности САУ [2] модели Основные компоненты модифицированной теории сложности САУ : Целевое пространство систем (ЦПС), представляющее собой ряд известных прототипов; Пространство обликов систем (ПОС), включающее ряд возможных технических заданий для прототипов из ЦПС. Возможные способы задания ПОС и ЦПС множеством слов, на базе которых в этом случае автоматически строится грамматика и используются неявные продукции грамматикой и явными продукциями, в этом случае заданные ЦПС и ПОС уже не будут меняться системой Взаимосвязь ЦПС и ПОС Для любого ТЗ из ПОС должен быть хотя бы один прототип из ЦПС(в общем случае их может быть несколько). ЦПС и ПОС могут быть как зависимыми(если одно из них строилось на базе другого), так и независимыми. Если они независимы, то нужен дополнительный механизм, ставящий в соответствие их элементы. Семиотическая модель – это: Текстовое представление моделей отдельный модуль в базе знаний в форме порождающей контекстносвободной грамматики, эквивалентной И-ИЛИ-дереву(то есть мы сами выбираем форму вывода для нашей будущей САПР) и продукций над ним. Виды продукций в семиотической модели: явные - условия совместного существования альтернатив в ИЛИузлах И-ИЛИ дерева, вводятся пользователем; неявные - набор правил, применяемых по умолчанию над списками номеров прототипов, прототипы связаны с каждым элементом грамматики; Пример простейшего И-ИЛИ дерева Здесь изображено три различных варианта как может выглядеть заголовок процедуры в языке «Паскаль», и осталось лишь задать продукции(то есть правила вывода) для данного дерева. Различные пути создания САПР, доступные экспертам: Задание грамматик и продукций для ЦПС и ПОС; Задание набора ключевых слов для ЦПС и ПОС и связи между ними, по которым система должна автоматически построить грамматику; Обеспечение реализуемости пары ЦПСПОС(т.е. чтобы для каждого элемента ТЗ был хотя бы один прототип в ЦПС): В варианте с автоматическим построением грамматики для набора слов это должен обеспечивать сам механизм построения В варианте с введением пользователем самих грамматик и продукций механизм верификации получившейся модели и выдающий предупреждение, если есть «пустые» элементы ТЗ. Модель решения типичной задачи проектирования: Работа пользователя с системой Работа эксперта по предметной области с системой Работа эксперта по знаниям с системой Заключение Такая система позволит экспертам различной квалификации быстро и эффективно создавать интеллектуальные надстройки над проблемно-ориентированными САПР, а пользователям – получать дешевые и качественные экспертные системы.
