Perantaian balik

Perantaian balik adalah metode pelacakan ke belakang yang memulai penalaran dari kesimpulan. Biasa digunakan pada sistem pembuktian teori otomatis, atau pada kecerdasan buatan.
Caranya dengan mencari sekumpulan hipotesis-hipotesis menuju fakta-fakta yang mendukung sekumpulan hipotesis-hipotesis tersebut. Perantaian balik merupakan kebalikan dari perantaian maju. Suatu hipotesis pada sebuah objek diperlukan bersama dengan informasi untuk memilikih keputusan antara meyakinkan atau mengabaikannya. Perantaian balik memiliki mesin inferensi yang disebut objek yang didorong atau sasaran yang didorong. Dalam perantaian balik, mesin infrensi dapat dikategorikan menjadi deterministik dan probabilistik.