Евіденціальна парадигма та обробка комп’ютерних математичних знань

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...

Full description

Saved in:
Bibliographic Details
Date:2019
Main Authors: Aselderov, Z. M., Lialecky, A. V., Frolova, L. Z.
Format: Article
Language:Ukrainian
Published: The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2019
Online Access:http://journal.iasa.kpi.ua/article/view/172284
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:System research and information technologies

Institution

System research and information technologies
_version_ 1856543428640243712
author 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.
baseUrl_str
collection OJS
datestamp_date 2019-07-04T19:57:00Z
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.
first_indexed 2025-07-17T10:25:35Z
format Article
id journaliasakpiua-article-172284
institution System research and information technologies
language Ukrainian
last_indexed 2025-07-17T10:25:35Z
publishDate 2019
publisher The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute"
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
spellingShingle Aselderov, Z. M.
Lialecky, A. V.
Frolova, L. Z.
Евіденціальна парадигма та обробка комп’ютерних математичних знань
title Евіденціальна парадигма та обробка комп’ютерних математичних знань
title_alt Evidential paradigm and processing of computer mathematical knowledge
Эвиденциальная парадигма и обработка компьютерных математических знаний
title_full Евіденціальна парадигма та обробка комп’ютерних математичних знань
title_fullStr Евіденціальна парадигма та обробка комп’ютерних математичних знань
title_full_unstemmed Евіденціальна парадигма та обробка комп’ютерних математичних знань
title_short Евіденціальна парадигма та обробка комп’ютерних математичних знань
title_sort евіденціальна парадигма та обробка комп’ютерних математичних знань
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ʹ