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

Abstract

Разработаны формально-логические основы проектирования архитектуры знание-ориентированных компьютерных систем для научных исследований. Предложены обобщенные интеллектуальные процедуры, поддерживающие соответствующие этапы выполнения научно-исследовательских работ. Для каждой процедуры рассмотрен процесс интерпретации последовательности действий и схема их реализации на архитектурных блоках системы. Формальное описание процедур выполнено в соответствии с алгеброй алгоритмов Глушкова.The formal-logical bases of the architecture designing of the knowledge-oriented computer systems for the scientific research are developed. Generalized intelligent procedures supporting a corresponding stages of the scientific and research works are proposed. For each procedure, the process of interpreting of a sequence of actions and the implementation scheme based on the architectural system blocks is considered. A formal description of the procedures are carried out in accordance with Glushkov’s algebra of algorithms.Розроблено формально-логічні основи проектування архітектури знання-орієнтованих комп’ютерних систем для наукових досліджень. Запропоновано узагальнені інтелектуальні процедури, які підтримують відповідні етапи виконання науково-дослідницьких робіт. Для кожної процедури розглянуто процес інтерпретації послідовності дій і схема їх реалізації на архітектурних блоках системи. Формальний опис процедур виконано згідно з алгеброю алгоритмів Глушкова.