Isi kandungan:
Definisi - Apakah maksud Chaining Backward?
Penjelmaan ke belakang adalah kaedah inferensi yang banyak digunakan dalam kecerdasan buatan, pembimbing teorem automatik dan pembantu bukti. Metodologi chaining backward boleh digambarkan sebagai bekerja kembali dari matlamat. Banyak bahasa pengaturcaraan menyokong chaining ke belakang dalam enjin inferensi mereka.
Penjelmaan ke belakang juga dirujuk sebagai alasan mundur.
Techopedia menerangkan Chaining Backward
Penjelmaan ke belakang digunakan dalam pengaturcaraan logik melalui resolusi klausa linear tertentu. Ia merupakan salah satu kaedah yang paling biasa digunakan dengan alasan gangguan dan implikasi logik. Penjelmaan ke belakang berfungsi kembali dari senarai matlamat untuk menentukan sama ada terdapat sebarang data untuk menyokongnya. Enjin inference yang menggunakan chaining mundur mencari peraturan kesenjangan sehinggalah ia mendapati peraturan yang kemudiannya sepadan dengan matlamat yang diingini. Sekiranya arahan terdahulu peraturan ini tidak diketahui benar, peraturan itu ditambah ke senarai matlamat supaya data boleh didapati untuk mengesahkannya.
