Evidence algorithm and SAD systems: Past and possible future

• Опубліковано в: : Кібернетика та системний аналіз
• Дата: 2021
• Автор: Lyaletski, A.V.
• Формат: Стаття
• Мова: Англійська
• Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2021
• Теми: Кібернетика
• Онлайн доступ: https://nasplib.isofts.kiev.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 назв. — рос.

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