Автоматизация научных исследований: сборник научных трудов.

до достижения уровня примитивов - задач, неделимых с точки зрения исследо­ вателя. Следует сказать, что перед началом эксплуатации в системе планирования необходимо выполнить ряд действий, направленных на обеспечение ее нормаль­ ного функционирования, таких как создание списка пользователей, которым р а з­ решается общение с системой, определение их статуса, установка паролей, з а ­ ведение и инициация ПБЗ и др. Эти административные функции возлагаются на менеджера системы, который ооладает правами доступа ко всем ресурсам. Система планирования комплексного эксперимента начинает раЬоту с з а ­ проса имени пользователя, чтобы определить, с какой именно базой знаний ей предстоит работать. Если введенное имя присутствует в списке допустимых имен, пользователю предоставляются соответствующие его статусу ресурсы системы, в противном случае следует отказ от диалога и прекращение работы. Если имя пользователя обнаружено в списке допустимых имен, следует запрос на введение начальной формулы эксперимента. В целом обработка ин­ терпретатором введенной исследователем формулы заключается в циклически повторяемой последовательной детализации каждого выделенного терма, вплоть до достижения уровня примитивов. Для этого вводится текущий указатель тер­ мов, который устанавливается первоначально в начале формулы и перемещается по термам последовательно по мере их представления композициями примитивов. Упрощенный алгоритм работы интерпретатора формул представлен на рисунке. На каждом конкретном этапе интерпретации выполняется обработка того терма, на который установлен текущий указатель термов. При этом производится вы­ деление этого терма и выполняется просмотр существующих примитивов в базе знаний с целью его идентификации. В случае, если будет установлено, что об­ рабатываемый терм является примитивом, текущий указатель формулы экспери­ мента смещается на длину данного терма и другие действия не предпринимают­ ся. Если выделенный терм не является примитивом, интерпретатором выполня­ ется ряд действий с целью его представления в виде композиции примитивов. Для этого производится поиск в БЗ расшифровки данного терма и подстановки расшифровки в формулу. Следует отметить, что процесс подстановки вместо терма его значения может протекать без контролирующего участия исследова­ теля в выводе формулы эксперимента. При этом выделенные расшифровки под­ ставляются в формулу автоматически без запроса на подтверждение пользова­ телем. Такой режим удобен при описании эксперимента через наработанные и заведомо правильные композиции модулей, при повторении опробованных и от­ лаженных экспериментов. Таким образом, по мере настройки системы планиро­ вания эксперимента на конкретную предметную область диалог исследователя с системой неуклонно сокращается. При описании нового эксперимента и его целей используется режим, при котором подстановка вместо терма его расшифровки выполняется после получе­ ния положительного ответа от исследователя на вопрос о допустимости исполь­ зования найденного в БЗ значения данного терма. При отсутствии такого под­ тверждения полученное из ОБЗ значение терма игнорируется и выполняется поиск в ПБЗ пользователя, если таковая заведена в системе. Если значение терма найдено, то следует вновь запрос на допустимость использования полу­ ченного определения. В случае, когда полученное из БЗ значение терма представляет собой класс эквивалентности, список элементов класса выводится на экран, после че­ го пользователю предлагается выбрать требуемый элемент, который и будет подставлен вместо соответствующего терма в формулу эксперимента. В зависимости от того, было ли найдено удовлетворительное значение об­ рабатываемого терма или нет, определяется дальнейшая работа интерпретатора формул. Если поиск расшифровки в ОБЗ и ПБЗ оказался безуспешным или на запрос о допустимости использования найденного определения получен отрица­ тельный ответ, следует обращение к пользователю за введением нового опреде­ ления терма. Полученное определение может быть по желанию исследователя 6 0