Евіденціальна парадигма та обробка комп’ютерних математичних знань
The current vision of the so-called programme “Evidence Algorithm”, is given in the form based on the analysis of investigations for integration of numerical calculations, analytical transformations, and reasoning automation. This vision is shown to correspond to modern integration trends, and to ma...
Збережено в:
| Дата: | 2019 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute"
2019
|
| Онлайн доступ: | http://journal.iasa.kpi.ua/article/view/172284 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | System research and information technologies |
Репозитарії
System research and information technologies| id |
journaliasakpiua-article-172284 |
|---|---|
| record_format |
ojs |
| spelling |
journaliasakpiua-article-1722842019-07-04T19:57:00Z Evidential paradigm and processing of computer mathematical knowledge Эвиденциальная парадигма и обработка компьютерных математических знаний Евіденціальна парадигма та обробка комп’ютерних математичних знань Aselderov, Z. M. Lialecky, A. V. Frolova, L. Z. The current vision of the so-called programme “Evidence Algorithm”, is given in the form based on the analysis of investigations for integration of numerical calculations, analytical transformations, and reasoning automation. This vision is shown to correspond to modern integration trends, and to make the evidential paradigm possible. Предлагается современное видение программы “Алгоритм очевидности” (Evidence Algorithm, EA), которое базируется на анализе состояния исследований по интеграции числовых выкладок, аналитических преобразований и автоматизации рассуждений. Показано, что это видение EA не только соответствует существующим интеграционным тенденциям, но и позволяет говорить об эвиденциальной парадигме. Пропонується сучасне бачення програми “Алгоритму очевидності” (Evidence Algorithm, EA), яке ґрунтується на аналізі поточного стану робіт з інтеграції чисе-льних викладок, аналітичних перетворень та автоматизації міркувань. Показано, що це бачення ЕА не тільки відповідає інтеграційним тенденціям, а і дозволяє говорити про евіденціальні парадигми. The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2019-07-04 Article Article application/pdf http://journal.iasa.kpi.ua/article/view/172284 System research and information technologies; No. 1 (2004); 7-17 Системные исследования и информационные технологии; № 1 (2004); 7-17 Системні дослідження та інформаційні технології; № 1 (2004); 7-17 2308-8893 1681-6048 uk http://journal.iasa.kpi.ua/article/view/172284/172024 Copyright (c) 2021 System research and information technologies |
| institution |
System research and information technologies |
| collection |
OJS |
| language |
Ukrainian |
| format |
Article |
| author |
Aselderov, Z. M. Lialecky, A. V. Frolova, L. Z. |
| spellingShingle |
Aselderov, Z. M. Lialecky, A. V. Frolova, L. Z. Евіденціальна парадигма та обробка комп’ютерних математичних знань |
| author_facet |
Aselderov, Z. M. Lialecky, A. V. Frolova, L. Z. |
| author_sort |
Aselderov, Z. M. |
| title |
Евіденціальна парадигма та обробка комп’ютерних математичних знань |
| title_short |
Евіденціальна парадигма та обробка комп’ютерних математичних знань |
| title_full |
Евіденціальна парадигма та обробка комп’ютерних математичних знань |
| title_fullStr |
Евіденціальна парадигма та обробка комп’ютерних математичних знань |
| title_full_unstemmed |
Евіденціальна парадигма та обробка комп’ютерних математичних знань |
| title_sort |
евіденціальна парадигма та обробка комп’ютерних математичних знань |
| title_alt |
Evidential paradigm and processing of computer mathematical knowledge Эвиденциальная парадигма и обработка компьютерных математических знаний |
| description |
The current vision of the so-called programme “Evidence Algorithm”, is given in the form based on the analysis of investigations for integration of numerical calculations, analytical transformations, and reasoning automation. This vision is shown to correspond to modern integration trends, and to make the evidential paradigm possible. |
| publisher |
The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" |
| publishDate |
2019 |
| url |
http://journal.iasa.kpi.ua/article/view/172284 |
| work_keys_str_mv |
AT aselderovzm evidentialparadigmandprocessingofcomputermathematicalknowledge AT lialeckyav evidentialparadigmandprocessingofcomputermathematicalknowledge AT frolovalz evidentialparadigmandprocessingofcomputermathematicalknowledge AT aselderovzm évidencialʹnaâparadigmaiobrabotkakompʹûternyhmatematičeskihznanij AT lialeckyav évidencialʹnaâparadigmaiobrabotkakompʹûternyhmatematičeskihznanij AT frolovalz évidencialʹnaâparadigmaiobrabotkakompʹûternyhmatematičeskihznanij AT aselderovzm evídencíalʹnaparadigmataobrobkakompûternihmatematičnihznanʹ AT lialeckyav evídencíalʹnaparadigmataobrobkakompûternihmatematičnihznanʹ AT frolovalz evídencíalʹnaparadigmataobrobkakompûternihmatematičnihznanʹ |
| first_indexed |
2024-04-08T15:07:01Z |
| last_indexed |
2024-04-08T15:07:01Z |
| _version_ |
1795779536981327872 |