Цепочка обратного распространения ошибки
Цепочка обратного распространения ошибки — метод вывода, который в просторечии называют «движение от цели в обратном направлении». Он используется в автоматических системах доказательства теорем, механизмах логического вывода, системах автоматизации