Зміст:
Визначення - Що означає відстале ланцюг?
Відставання ланцюга - це метод висновку, широко застосовуваний у штучному інтелекті, автоматизованих довідках теорем та асистентах доказування. Методологія зворотного ланцюга може бути описана як повернення від цілі. Багато мов програмування підтримують зворотні ланцюги в межах своїх механізмів висновку.
Відставання ланцюга також називається зворотним міркуванням.
Техопедія пояснює зворотні ланцюги
Зворотний ланцюг використовується в логічному програмуванні через вибіркове лінійне певне дозвол пропозиції. Це один з найбільш часто використовуваних методів міркування з правилами втручання та логічним наслідком. Зворотна ланцюжок працює назад зі списку цілей, щоб визначити, чи є якісь дані для їх підтримки. Двигун висновку, який використовує зворотне ланцюг, виконує пошук правил висновку, поки не знайде правило з послідовністю, що відповідає бажаній цілі. Якщо попереднє правило цього правила невідоме, це правило додається до списку цілей, щоб можна було знайти дані для його підтвердження.
