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

• Опубліковано в: : Системні дослідження та інформаційні технології
• Дата: 2004
• Автори: Асельдеров, З.М., Лялецький, О.В., Фролова, Л.З.
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України 2004
• Теми: Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/50325
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Евіденціальна парадигма та обробка комп’ютерних математичних знань / З.М. Асельдеров , О.В. Лялецький, Л.З. Фролова // Систем. дослідж. та інформ. технології. — 2004. — № 1. — С. 7-17. — Бібліогр.: 11 назв. — укр.

Пропонується сучасне бачення програми «Алгоритму очевидності» (Evidence Algorithm, EA), яке ґрунтується на аналізі поточного стану робіт з інтеграції чисельних викладок, аналітичних перетворень та автоматизації міркувань. Показано, що це бачення ЕА не тільки відповідає інтеграційним тенденціям, а і дозволяє говорити про евіденціальні парадигми. Предлагается современное видение программы «Алгоритм очевидности» (Evidence Algorithm, EA), которое базируется на анализе состояния исследований по интеграции числовых выкладок, аналитических преобразований и автоматизации рассуждений. Показано, что это видение EA не только соответствует существующим интеграционным тенденциям, но и позволяет говорить об эвиденциальной парадигме. 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.