Евіденціальна парадигма та обробка комп’ютерних математичних знань
Пропонується сучасне бачення програми «Алгоритму очевидності» (Evidence Algorithm, EA), яке ґрунтується на аналізі поточного стану робіт з інтеграції чисельних викладок, аналітичних перетворень та автоматизації міркувань. Показано, що це бачення ЕА не тільки відповідає інтеграційним тенденціям, а і...
Saved in:
| Published in: | Системні дослідження та інформаційні технології |
|---|---|
| Date: | 2004 |
| Main Authors: | , , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України
2004
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/50325 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Евіденціальна парадигма та обробка комп’ютерних математичних знань / З.М. Асельдеров , О.В. Лялецький, Л.З. Фролова // Систем. дослідж. та інформ. технології. — 2004. — № 1. — С. 7-17. — Бібліогр.: 11 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862601944090017792 |
|---|---|
| author | Асельдеров, З.М. Лялецький, О.В. Фролова, Л.З. |
| author_facet | Асельдеров, З.М. Лялецький, О.В. Фролова, Л.З. |
| citation_txt | Евіденціальна парадигма та обробка комп’ютерних математичних знань / З.М. Асельдеров , О.В. Лялецький, Л.З. Фролова // Систем. дослідж. та інформ. технології. — 2004. — № 1. — С. 7-17. — Бібліогр.: 11 назв. — укр. |
| collection | DSpace DC |
| container_title | Системні дослідження та інформаційні технології |
| description | Пропонується сучасне бачення програми «Алгоритму очевидності» (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.
|
| first_indexed | 2025-11-28T03:07:42Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-50325 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1681–6048 |
| language | Ukrainian |
| last_indexed | 2025-11-28T03:07:42Z |
| publishDate | 2004 |
| publisher | Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України |
| record_format | dspace |
| spelling | Асельдеров, З.М. Лялецький, О.В. Фролова, Л.З. 2013-10-10T20:00:01Z 2013-10-10T20:00:01Z 2004 Евіденціальна парадигма та обробка комп’ютерних математичних знань / З.М. Асельдеров , О.В. Лялецький, Л.З. Фролова // Систем. дослідж. та інформ. технології. — 2004. — № 1. — С. 7-17. — Бібліогр.: 11 назв. — укр. 1681–6048 https://nasplib.isofts.kiev.ua/handle/123456789/50325 681.3: 519.68 Пропонується сучасне бачення програми «Алгоритму очевидності» (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. uk Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України Системні дослідження та інформаційні технології Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи Евіденціальна парадигма та обробка комп’ютерних математичних знань Эвиденциальная парадигма и обработка компьютерных математических знаний Evidential paradigm and processing of computer mathematical knowledge Article published earlier |
| spellingShingle | Евіденціальна парадигма та обробка комп’ютерних математичних знань Асельдеров, З.М. Лялецький, О.В. Фролова, Л.З. Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи |
| title | Евіденціальна парадигма та обробка комп’ютерних математичних знань |
| title_alt | Эвиденциальная парадигма и обработка компьютерных математических знаний Evidential paradigm and processing of computer mathematical knowledge |
| title_full | Евіденціальна парадигма та обробка комп’ютерних математичних знань |
| title_fullStr | Евіденціальна парадигма та обробка комп’ютерних математичних знань |
| title_full_unstemmed | Евіденціальна парадигма та обробка комп’ютерних математичних знань |
| title_short | Евіденціальна парадигма та обробка комп’ютерних математичних знань |
| title_sort | евіденціальна парадигма та обробка комп’ютерних математичних знань |
| topic | Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи |
| topic_facet | Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/50325 |
| work_keys_str_mv | AT aselʹderovzm evídencíalʹnaparadigmataobrobkakompûternihmatematičnihznanʹ AT lâlecʹkiiov evídencíalʹnaparadigmataobrobkakompûternihmatematičnihznanʹ AT frolovalz evídencíalʹnaparadigmataobrobkakompûternihmatematičnihznanʹ AT aselʹderovzm évidencialʹnaâparadigmaiobrabotkakompʹûternyhmatematičeskihznanii AT lâlecʹkiiov évidencialʹnaâparadigmaiobrabotkakompʹûternyhmatematičeskihznanii AT frolovalz évidencialʹnaâparadigmaiobrabotkakompʹûternyhmatematičeskihznanii AT aselʹderovzm evidentialparadigmandprocessingofcomputermathematicalknowledge AT lâlecʹkiiov evidentialparadigmandprocessingofcomputermathematicalknowledge AT frolovalz evidentialparadigmandprocessingofcomputermathematicalknowledge |