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

• Опубліковано в: : Системні дослідження та інформаційні технології
• Дата: 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), яке ґрунтується на аналізі поточного стану робіт з інтеграції чисельних викладок, аналітичних перетворень та автоматизації міркувань. Показано, що це бачення ЕА не тільки відповідає інтеграційним тенденціям, а і...