Sommario:
- Definizione - Cosa significa concatenamento all'indietro?
- Techopedia spiega il concatenamento all'indietro
Definizione - Cosa significa concatenamento all'indietro?
Il concatenamento all'indietro è un metodo di inferenza ampiamente utilizzato nell'intelligenza artificiale, dimostratori di teoremi automatizzati e assistenti di prova. La metodologia del concatenamento all'indietro può essere descritta come un ritorno da un obiettivo. Molti linguaggi di programmazione supportano il concatenamento all'indietro all'interno dei loro motori di inferenza.
Il concatenamento all'indietro viene anche definito ragionamento all'indietro.
Techopedia spiega il concatenamento all'indietro
Il concatenamento all'indietro viene utilizzato nella programmazione logica mediante la risoluzione selettiva della clausola lineare selettiva. È uno dei metodi di ragionamento più comunemente usati con regole di interferenza e implicazioni logiche. Il concatenamento all'indietro funziona all'indietro da un elenco di obiettivi per determinare se esistono dati a supporto. Un motore di inferenza che utilizza il concatenamento all'indietro cerca le regole di inferenza fino a quando non trova una regola con un conseguente corrispondente all'obiettivo desiderato. Se l'antecedente di questa regola non è noto per essere vero, la regola viene aggiunta all'elenco degli obiettivi in modo che i dati possano essere trovati per confermarlo.
