Skip to content

Backward chaining

Definition of Backward chaining:

  • Is an inference method described colloquially as working backward from the goal. It is used in automated theorem provers, inference engines, proof assistants, and other artificial intelligence applications.

التسلسل الخلفي

تعريف التسلسل الخلفي:

  • طريقة استنتاج تعمل في خلف الهدف. وتستخدم في النظرية الآلية ومحركات الاستنتاج ومساعدات الإثبات وتطبيقات الذكاء الاصطناعي الأخرى.

if you would like to suggest a word please click SUBMIT BELOW