К вопросу о построении знание-ориентированных компьютерных систем для научных исследований

摘要

Разработаны формально-логические основы проектирования архитектуры знание-ориентированных компьютерных систем для научных исследований. Предложены обобщенные интеллектуальные процедуры, поддерживающие соответствующие этапы выполнения научно-исследовательских работ. Для каждой процедуры рассмотрен процесс интерпретации последовательности действий и схема их реализации на архитектурных блоках системы. Формальное описание процедур выполнено в соответствии с алгеброй алгоритмов Глушкова.