Захария Л. М. Некоторые вопросы многоуровневого проектирования специализированных экспертных систем

Объект исследования: Флрмализованные средства проектирования алгоритмических баз знаний. Цель исследования: Разработка алгебраических, лингвистических и инструментальных средств проектирования алгоритмических баз знаний предметных областей и создание специализированных экспертных систем символьной обработки данных на базе метода многоуровневого структурного проектирования и дальнейшего развития систем алгоритмических алгебр. Методы исследования и аппаратура: Теория автоматов, алгебра логики, трехосновные системы алгоритмических алгебр проектирования алгоритмов и структур данных, алгоритмические базы знаний. Теоретические результаты и новизна: В рамках метаалгебры схематологии разработан подход к построению различных алгебр алгоритмов, которые формализуют разные средства проектирования классов алгоритмов и программ, сформулировано достаточные условия функциональной полноты системы образующих алгебры Дейкстры структурных схем алгоритмов, определены метаправила конструирования алгоритм. знанй. Практические результаты и новизна: Разработаны лингвитсические и инструментальные средства проектирования алгоритмических баз знаний предметных областей, реализовано механизм интерпретации САА схем алгоритмов и LL(1) граматик, предложенными средствами создана экспертная система СОРТ алгоритмов сортировки. Предмет и степень внедрения: Инструментальная система авоматизированного синтеза алгоритмов и программ Мультипроцессист, вошла в программное обеспечение "Нейрон", однородных вычислительных сред, экспертная система алгоритмов сортировки СОРТ, внедрена в учебный процесс ЛКА и Международного Соломонового университета. Эффективность внедрения: Автоматизирует процесс создания алгоритмических баз знаний и специализированных экспертных систем. Сфера (область) использования: Автоматизированное проектирование специализированных систем символьной обработки.