Evidence algorithm and SAD systems: Past and possible future

• Published in: Кібернетика та системний аналіз
• Date: 2021
• Main Author: Lyaletski, A.V.
• Format: Article
• Language: English
• Published: Інститут кібернетики ім. В.М. Глушкова НАН України 2021
• Subjects: Кібернетика
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/190581
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Evidence algorithm and SAD systems: Past and possible future / A.V. Lyaletski // Кібернетика та системний аналіз. — 2021. — Т. 57, № 1. — С. 12–20. — Бібліогр.: 12 назв. — рос.

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