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

Z. M. Aselderov, A. V. Lialecky, L. Z. Frolova

Анотація


Пропонується сучасне бачення програми “Алгоритму очевидності” (Evidence Algorithm, EA), яке ґрунтується на аналізі поточного стану робіт з інтеграції чисе-льних викладок, аналітичних перетворень та автоматизації міркувань. Показано, що це бачення ЕА не тільки відповідає інтеграційним тенденціям, а і дозволяє говорити про евіденціальні парадигми.

Повний текст:

PDF

Пристатейна бібліографія ГОСТ