Cтраница 2
Программы формируются посредством диалога между пользователем и ПЭВМ. Диалог строится на основе различных меню, включающих те или иные функции работы системы. Меню могут быть организованы различными способами, например ленточным, древовидным и другими, а также их комбинацией. Обычно в меню предусматривается система подсказок ( ПОМОЩЬ, HELP), используя которую из любого режима работы, можно посмотреть описание тех действий, которые необходимо выполнить, или получить краткие справки о физических принципах, математических моделях и приемах, применяемых в САПР, вплоть до справочника нужной литературы. При возникновении нестандартных ситуаций или ошибок также необходимо использовать HELP для более быстрого и правильного их устранения. [16]
Вызов процедур, определенных пользователем, может быть использован как в левых, так и в правых частях правил ART. Образцы ( patterns) используются в условной части правил. Они должны быть сопоставлены с фактами рабочей памяти. ART предлагает традиционные модели вывода: от фактов к цели и от цели к фактам. Они могут объединяться в мощный механизм истинности, основанный на предположениях, который допускает аргументацию типа ЧТО ЕСЛИ. Кроме того, в составе ART используются и классические правила типа OPS. Графическое окружение ART хорошо развито. Интерфейс ARTStudio включает в себя базу знаний с демонстрацией гипотез, утилиты отладчика запускаемых программ, систему подсказок, доступную в любое время, систему меню и графический пакет ARTist ( ART Image Syntesis Tool) с оконным редактором. ARTist позволяет создавать доступные правилам меню и управлять окнами пользовательского интерфейса, а также создавать сами окна. Графические конструкции описываются с помощью схем и ссылаются на правила. Это обеспечивает функционирование по принципу управления обращениями к данным. [17]