Evidence algorithm and SAD systems: Past and possible future

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Кібернетика та системний аналіз
Datum:2021
1. Verfasser: Lyaletski, A.V.
Format: Artikel
Sprache:English
Veröffentlicht: Інститут кібернетики ім. В.М. Глушкова НАН України 2021
Schlagworte:
Кібернетика
Online Zugang:https://nasplib.isofts.kiev.ua/handle/123456789/190581
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:Evidence algorithm and SAD systems: Past and possible future / A.V. Lyaletski // Кібернетика та системний аналіз. — 2021. — Т. 57, № 1. — С. 12–20. — Бібліогр.: 12 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-190581
record_format dspace
spelling Lyaletski, A.V.
2023-06-14T10:44:00Z
2023-06-14T10:44:00Z
2021
Evidence algorithm and SAD systems: Past and possible future / A.V. Lyaletski // Кібернетика та системний аналіз. — 2021. — Т. 57, № 1. — С. 12–20. — Бібліогр.: 12 назв. — рос.
1019-5262
https://nasplib.isofts.kiev.ua/handle/123456789/190581
004.8:519.7
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.
In honor of 50 years of the Evidence Algorithm announcement.
en
Інститут кібернетики ім. В.М. Глушкова НАН України
Кібернетика та системний аналіз
Кібернетика
Evidence algorithm and SAD systems: Past and possible future
Алгоритм очевидности і системи SAD: минуле та можливе майбутнє
Алгоритм очевидности и системы SAD: прошлое и возможное будущее
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Evidence algorithm and SAD systems: Past and possible future
spellingShingle Evidence algorithm and SAD systems: Past and possible future
Lyaletski, A.V.
Кібернетика
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
author Lyaletski, A.V.
author_facet Lyaletski, A.V.
topic Кібернетика
topic_facet Кібернетика
publishDate 2021
language English
container_title Кібернетика та системний аналіз
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
format Article
title_alt Алгоритм очевидности і системи SAD: минуле та можливе майбутнє
Алгоритм очевидности и системы SAD: прошлое и возможное будущее
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. Роботу присвячено програмі "Алгоритм Очевидності", що була ініційована академіком В. М. Глушковим у 1970 р. і знайшла своє втілення у вигляді російськомовної та англомовної систем SAD, призначених для автоматизованого проведення дедукції. Надано опис їхніх характерних рис та особливостей. Наведено приклади, які демонструють можливість їх використання для розв'язання математичних і повсякденних задач, що потребують виконання дедуктивних побудов. Описано можливі шляхи подальшого розвитку англомовної системи SAD. Работа посвящена программе «Алгоритм Очевидности», инициированной академиком В.М. Глушковым в 1970 г. и нашедшей свое воплощение в виде русскоязычной и англоязычной систем SAD, предназначенных для автоматизированного проведения дедукции. Дано описание их характерных черт и особенностей. Приведены примеры, демонстрирующие возможность их использования для решения математических и повседневных задач, требующих выполнения дедуктивных построений. Описаны возможные пути дальнейшего развития англоязычной системы SAD.
issn 1019-5262
url https://nasplib.isofts.kiev.ua/handle/123456789/190581
citation_txt Evidence algorithm and SAD systems: Past and possible future / A.V. Lyaletski // Кібернетика та системний аналіз. — 2021. — Т. 57, № 1. — С. 12–20. — Бібліогр.: 12 назв. — рос.
work_keys_str_mv AT lyaletskiav evidencealgorithmandsadsystemspastandpossiblefuture
AT lyaletskiav algoritmočevidnostiísistemisadminuletamožlivemaibutnê
AT lyaletskiav algoritmočevidnostiisistemysadprošloeivozmožnoebuduŝee
first_indexed 2025-12-01T23:56:55Z
last_indexed 2025-12-01T23:56:55Z
_version_ 1850861207156686848

Ähnliche Einträge