Evidence algorithm and SAD systems: Past and possible future

• Veröffentlicht in: Кібернетика та системний аналіз
• Datum: 2021
• 1. Verfasser: Lyaletski, A.V.
• Format: Artikel
• Sprache: Englisch
• Veröffentlicht: Інститут кібернетики ім. В.М. Глушкова НАН України 2021
• Schlagworte: Кібернетика
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/190581
• Назва журналу: 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 назв. — рос.

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