Алгебро-алгоритмические средства проектирования знаний предметных областей

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

Full description

Saved in:
Bibliographic Details
Published in:Кибернетика и системный анализ
Date:2009
Main Authors: Цейтлин, Г.Е., Захария, Л.М.
Format: Article
Language:Russian
Published: Інститут кібернетики ім. В.М. Глушкова НАН України 2009
Subjects:
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/44478
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Алгебро-алгоритмические средства проектирования знаний предметных областей / Г.Е. Цейтлин, Л.М. Захария // Кибернетика и системный анализ. — 2009. — № 6. — С. 13-23. — Бібліогр.: 11 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
Description
Summary:Розвинуто теорію клонів у напрямку формалізації алгоритмічних знань в предметних областях. Коротко представлено клон Поста, алгоритмічні клони Дейкстри, Глушкова, граф-схеми Калужніна, клон Кліні регулярних виразів, а також клон Кодда n-відношень з різними операціями суперпозиції. Клон n-відношень формалізує проектування задач, для яких характерна обробка великих структурованих об’ємів інформації. За модельний приклад взято економічні застосування. The paper develops the clone theory to formalize algorithmic knowledge in subject areas. The Post clone, algorithmic clones of Dijkstra, Glushkov, and Kalygnin graph schemes, and Clini’s clone of regular expressions are briefly outlined and Codd’s clone of n-relations with different operations of superposition are described. The n-relation clone is used to formalize scientific problems that process large volumes of structured information. Economic applications are taken as model examples.
ISSN:0023-1274