Lyaletski A. V. Evidence algorithm and SAD systems: past and possible future = Алгоритм очевидности і системи SAD: минуле та можливе майбутнє / A. V. Lyaletski // Кібернетика та систем. аналіз. - 2021. - 57, № 1. - С. 12-20. - Бібліогр.: 12 назв. - англ.Роботу присвячено програмі "Алгоритм Очевидності", що була ініційована академіком В. М. Глушковим у 1970 р. і знайшла своє втілення у вигляді російськомовної та англомовної систем SAD, призначених для автоматизованого проведення дедукції. Надано опис їхніх характерних рис та особливостей. Наведено приклади, які демонструють можливість їх використання для розв'язання математичних і повсякденних задач, що потребують виконання дедуктивних побудов. Описано можливі шляхи подальшого розвитку англомовної системи SAD. Індекс рубрикатора НБУВ: З973-018
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ
Повний текст Наукова періодика України
![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|