Lyaletski A. V.
Evidence algorithm and SAD systems: Past and possible future

The paper is devoted to the Evidence Algorithm, initiated by Academician Glushkov in 1970 and implemented as Russian-language and English-language SAD systems intended for automated deduction. Some of their characteristics and features are described. Examples of their application to solving mathematical and common problems that require deductive constructions are provided. Possible ways of the further development of the English-language SAD system are given. © 2021, Springer Science+Business Media, LLC, part of Springer Nature.

Keywords: automated reasoning, automated theorem proving, Evidence Algorithm, prover, SAD system, Cybernetics, Automated deduction, English languages, Evidence algorithms, Possible futures, Russian languages, Computer science

Роботу присвячено програмі "Алгоритм Очевидності", що була ініційована академіком В. М. Глушковим у 1970 р. і знайшла своє втілення у вигляді російськомовної та англомовної систем SAD, призначених для автоматизованого проведення дедукції. Надано опис їхніх характерних рис та особливостей. Наведено приклади, які демонструють можливість їх використання для розв'язання математичних і повсякденних задач, що потребують виконання дедуктивних побудов. Описано можливі шляхи подальшого розвитку англомовної системи SAD.

PDF

Cite:
Lyaletski. (2021). Evidence algorithm and SAD systems: Past and possible future. Cybernetics and Systems Analysis, 57 (1), 12–20. doi: https://doi.org/10.1007/s10559-021-00325-1 http://jnas.nbuv.gov.ua/article/UJRN-0001199853