Экспертные компоненты в системах логического проектирования

При разработке традиционной САПР (без экспертных компонент) обычно используются знания

  • - об объектах проектирования - технологических базисах и функционально-структурных схемах;
  • - формальных языках описания и методах проектирования;
  • - языках программирования и вычислительной базе, на которой реализуется САПР

При создании экспертной системы логического проектирования (ЭСЛП) эксперт (высококлассный специалист, владеющий информацией о системе) должен обладать знаниями по всем этим аспектам. Важнейшими при организации экспертной САПР следует признать знания о методах проектирования, о комбинировании и взаимодействии программ, реализующих методы, о проектных ситуациях в САПР, на основании которых принимаются решения. Таким образом, в качестве экспертных знаний в ЭСЛП выступают знания эксперта, выражающие правила принятия решений в проектных ситуациях, информация о программной среде (о проектных процедурах, операциях и реализующих их программных модулях), из которой можно выделить информацию о требуемых вычислительных ресурсах. Проанализировать проектную ситуацию, принять проектное решение - это лишь одна сторона проблемы; другая сторона состоит в том, чтобы эффективно реализовать принятое решение. Если решение принято, то возникает проблема, как эффективно его реализовать, т. е. как организовать вычислительный процесс и взаимодействие с проектировщиком.

Иерархическая природа логико-комбинаторных задач проектирования приводит к многоуровневости применения экспертных знаний в ЭСЛП. На каждом уровне приходится распознавать проектную ситуацию (отвечать на вопрос «Что и с каким объектом делать?»), а затем решать проблему «Как делать?» Участие эксперта в решении первого вопроса достаточно очевидно. Решение второго вопроса требует от эксперта детальных знаний об организации САПР, поэтому, отвечая на второй вопрос, он должен знать альтернативные методы решения задачи, особенности программной реализации методов и ограничения вычислительной среды.

Использование экспертных компонент в ЭСЛП не должно приводить к ошибкам функционирования проектируемой дискретной схемы. Скорее наоборот, экспертные компоненты дают определенную свободу в получении решений: вместо одного проектного решения в ЭСЛП можно получать целый ряд решений, конечный выбор среди которых принадлежит проектировщику, хотя, естественно, и в этом случае проектировщик может довериться экспертной системе, т. е. эксперту, чьи знания используются.

Традиционные экспертные системы типа MYCIN [60] (распознавание болезней), ЭКСИЛОР [35] (распознавание в пространстве многозначных признаков) базируются на одноуровневой схеме логического вывода с целью распознавания ситуации (образов, неисправностей [40] и т. д.). В ЭСЛП иерархичность логико-комбинаторных задач проектирования, иерархичность представления объектов проектирования и иерархичность принятия решений приводит к многоуровневости (иерархичности) в представлении знаний и иерархическому логическому выводу.

 
Посмотреть оригинал
< Пред   СОДЕРЖАНИЕ ОРИГИНАЛ   След >