Алгебро-алгоритмические средства проектирования знаний предметных областей
Розвинуто теорію клонів у напрямку формалізації алгоритмічних знань в предметних областях. Коротко представлено клон Поста, алгоритмічні клони Дейкстри, Глушкова, граф-схеми Калужніна, клон Кліні регулярних виразів, а також клон Кодда n-відношень з різними операціями суперпозиції. Клон n-відношень ф...
Gespeichert in:
| Veröffentlicht in: | Кибернетика и системный анализ |
|---|---|
| Datum: | 2009 |
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2009
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/44478 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Алгебро-алгоритмические средства проектирования знаний предметных областей / Г.Е. Цейтлин, Л.М. Захария // Кибернетика и системный анализ. — 2009. — № 6. — С. 13-23. — Бібліогр.: 11 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Zusammenfassung: | Розвинуто теорію клонів у напрямку формалізації алгоритмічних знань в предметних областях. Коротко представлено клон Поста, алгоритмічні клони Дейкстри, Глушкова, граф-схеми Калужніна, клон Кліні регулярних виразів, а також клон Кодда 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 |