Evidence algorithm and SAD systems: Past and possible future
The paper is devoted to the Evidence Algorithm programme on automated reasoning initiated by Academician Glushkov in 1970 and found its expression in the form of the Russian-language and English-language SAD systems intended for automated deduction. Some of their characteristic peculiarities and fea...
Збережено в:
| Дата: | 2021 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2021
|
| Назва видання: | Кібернетика та системний аналіз |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/190581 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Evidence algorithm and SAD systems: Past and possible future / A.V. Lyaletski // Кібернетика та системний аналіз. — 2021. — Т. 57, № 1. — С. 12–20. — Бібліогр.: 12 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-190581 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1905812023-06-14T13:44:00Z Evidence algorithm and SAD systems: Past and possible future Lyaletski, A.V. Кібернетика The paper is devoted to the Evidence Algorithm programme on automated reasoning initiated by Academician Glushkov in 1970 and found its expression in the form of the Russian-language and English-language SAD systems intended for automated deduction. Some of their characteristic peculiarities and features are described. Examples demonstrating the possibility of their use for solving mathematical and common problems that require deductive constructions are supplied. Possible ways of the further development of the English-language SAD system are given. Роботу присвячено програмі "Алгоритм Очевидності", що була ініційована академіком В. М. Глушковим у 1970 р. і знайшла своє втілення у вигляді російськомовної та англомовної систем SAD, призначених для автоматизованого проведення дедукції. Надано опис їхніх характерних рис та особливостей. Наведено приклади, які демонструють можливість їх використання для розв'язання математичних і повсякденних задач, що потребують виконання дедуктивних побудов. Описано можливі шляхи подальшого розвитку англомовної системи SAD. Работа посвящена программе «Алгоритм Очевидности», инициированной академиком В.М. Глушковым в 1970 г. и нашедшей свое воплощение в виде русскоязычной и англоязычной систем SAD, предназначенных для автоматизированного проведения дедукции. Дано описание их характерных черт и особенностей. Приведены примеры, демонстрирующие возможность их использования для решения математических и повседневных задач, требующих выполнения дедуктивных построений. Описаны возможные пути дальнейшего развития англоязычной системы SAD. 2021 Article Evidence algorithm and SAD systems: Past and possible future / A.V. Lyaletski // Кібернетика та системний аналіз. — 2021. — Т. 57, № 1. — С. 12–20. — Бібліогр.: 12 назв. — рос. 1019-5262 http://dspace.nbuv.gov.ua/handle/123456789/190581 004.8:519.7 en Кібернетика та системний аналіз Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
English |
| topic |
Кібернетика Кібернетика |
| spellingShingle |
Кібернетика Кібернетика Lyaletski, A.V. Evidence algorithm and SAD systems: Past and possible future Кібернетика та системний аналіз |
| description |
The paper is devoted to the Evidence Algorithm programme on automated reasoning initiated by Academician Glushkov in 1970 and found its expression in the form of the Russian-language and English-language SAD systems intended for automated deduction. Some of their characteristic peculiarities and features are described. Examples demonstrating the possibility of their use for solving mathematical and common problems that require deductive constructions are supplied. Possible ways of the further development of the English-language SAD system are given. |
| format |
Article |
| author |
Lyaletski, A.V. |
| author_facet |
Lyaletski, A.V. |
| author_sort |
Lyaletski, A.V. |
| title |
Evidence algorithm and SAD systems: Past and possible future |
| title_short |
Evidence algorithm and SAD systems: Past and possible future |
| title_full |
Evidence algorithm and SAD systems: Past and possible future |
| title_fullStr |
Evidence algorithm and SAD systems: Past and possible future |
| title_full_unstemmed |
Evidence algorithm and SAD systems: Past and possible future |
| title_sort |
evidence algorithm and sad systems: past and possible future |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2021 |
| topic_facet |
Кібернетика |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/190581 |
| citation_txt |
Evidence algorithm and SAD systems: Past and possible future / A.V. Lyaletski // Кібернетика та системний аналіз. — 2021. — Т. 57, № 1. — С. 12–20. — Бібліогр.: 12 назв. — рос. |
| series |
Кібернетика та системний аналіз |
| work_keys_str_mv |
AT lyaletskiav evidencealgorithmandsadsystemspastandpossiblefuture |
| first_indexed |
2023-10-18T23:13:15Z |
| last_indexed |
2023-10-18T23:13:15Z |
| _version_ |
1796157560953241600 |