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

разно использование формальной рекуррентной модели многоуровневых АСНИ, основанной на иерархической структуре комплексных исследований. Язык планирования экспериментальных исследований. Специфика объектов автоматизации обусловливается неполной информацией о требованиях к систе­ мам управления экспериментальными исследованиями и обработки данных, уточ­ нением и постоянным усложнением программ исследований. Представителям р а з­ личных групп исследовательского коллектива необходимо предоставить возмож­ ность и средства для описания целей исследования и действий по их реализации и при необходимости изменения и внесения дополнений в алгоритм автоматизи­ рованного эксперимента. Средства планирования должны быть ориентированы на исследователей, являющихся специалистами в конкретной предметной области и , возможно, не владеющих твердыми навыками программирования. Этим определя­ ется необходимость использования языка непроцедурного типа, позволяющего описывать цели и действия исследования путем последовательной их детализа­ ции с применением терминологии и приемов, принятых в конкретной предметной области. С учетом изложенных требований в СИБИЗМИР СО АН СССР разработан язык описания алгоритмов эксперимента L E A D E R ( L A N G U A G E O P E X P E R IM E N T A L G O R I T H M S D E R IV A T IO N ) , в качестве формаль­ ной основы которого использована рекуррентная модель планирования комплекс­ ных исследований. Базисная конструкция языка - рекуррентно определенное по­ нятие формулы эксперимента. Формула эксперимента является текстовым (в рамках языка L E A D E R ) представлением композиции имен модулей, объе­ диненных знаками параллельного (одновременного) и последовательного ( © и © ) выполнения. Синтаксис языка определяется построенной рекур­ рентной моделью: < постановка задачи> : : = <формула> <формула> : : = <терм> | <формула> <операция> <формула>|<(формула)> <терм : : = <имя объекта> | <имя формулы> <имя объекта> : : = <идентификатор> <имя формулы> : : = <идентификатор> <операция> : : = © I О . Предполагается, что операция последовательного выполнения © являет­ ся более приоритетной. Поэтому при выводе формульного представления алго­ ритма исследования используются охватывающие скобки, если необходимо под­ черкнуть одноочередность параллельно выполняющихся задач. Язык обладает простой и единой для всех уровней структурой, обеспечивающей при этом сме­ няемость и наращивание понятийного аппарата. Организация баз знаний. Для того, чтобы исключить необходимость много­ кратного определения общепринятых в повторяемых экспериментах понятий, в систему планирования включены общая и персональные базы знаний, предназна­ ченные для накопления и модификации информации о предметной области экспе­ римента. Общая база знаний (ОБЗ) заполняется специалистами в данной пред­ метной области (экспертами). Персональную базу знаний (ПБЗ) может заво­ дить каждый пользователь, извлекая информацию из ОБЗ и вводя свои понятия. Общая форма записи в базе знаний (Б З ): <имя понятия > : : = < тело поня­ тия > . В базе знаний содержатся записи трех видов: формулы, классы и примити­ вы. Формулы: <тело понятия > : : = <формула на языке L E A D E R > ; запись класса: <тело понятия> : : = <имя объекта> [] }<имя объекта> . . .^j ; примитивы: <тело понятия > : : = <имя исполнимого м одул я> . Помимо указан­ ных типов в общей базе знаний хранятся также и негативные знания, т .е. фор­ мулы и подформулы, считающиеся запрещенными в данной реализации и поме­ ченные стандартным именем ILL . Интерпретатор формул эксперимента. Алгоритм управления исследованиями на языке L E A D E R выводится в виде формулы эксперимента рекуррентно в интерактивном режиме интерпретатором системы планирования. В целом вывод производится "сверху вниз" путем последовательной детализации, вплоть * Игнатьев М .Б ., Путилов В. А., Смольков Г.Я. Модели и системы управления комплексными экспериментальными исследованиями. М., Наука, .1986 , 2 3 2 с . 5 9